CS 401 - Theoretical Foundations of Computer Science - 3 credit hours
CS 401 - Theoretical Foundations of Computer Science. (3)
Mathematical reasoning for computer science. Topics include propositional and first-order logic, group theory, introduction to formal languages and formal models of computation.
Offered on a CR/NC basis only.
Graduate credit is unavailable for this class.
Prerequisite: 261.
Home | Colloquia | Research | People
Current Students | Prospective Students | Companies | Visitors
Scholarships | Courses | Degrees | PIBBS
Computer Facilities | Jobs | Links
Contact Info:
(505) 277-3112 (phone)
(505) 277-6927 (fax)
Web site questions:
All other questions:
(505) 277-3112 (phone)
(505) 277-6927 (fax)
Web site questions:
All other questions:
University of New Mexico
Department of Computer Science
Mail stop: MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001
Department of Computer Science
Mail stop: MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001
