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