- UNM
- »Catalogs
- »Catalog 2010-2011
- »Courses
- »Computer Science
- »Theoretical Foundations of Computer Science
Mathematical reasoning for computer science. Topics include propositional and first-order logic, group theory, introduction to formal languages and formal models of computation.
Restriction: undergraduate
Offered on a CR/NC basis only.
MSC 11 6325
1 University of New Mexico
Albuquerque, NM 87131
(505) 277-8900
Phone: (505) 277-6809
Fax: studentinfo.unm.edu