Theoretical Foundations of Computer Science

CS 401 (3)

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.



Prerequisites / Corequisites


Course Search:




Keyword Search:

Office of the Registrar

MSC11 6325
1 University of New Mexico
Albuquerque, NM 87131

Phone: (505) 277-8900
Fax: (505) 277-6809