Course Description
Introduction to the conceptual and formal apparatus of mathematical logic, to mathematical concepts underlying the process of logical formalization, and to the applications of various logics across a broad spectrum of problems in computer science and artificial intelligence.
Fall 2025
Instructors
Meeting Patterns
Classes Start:
August 18, 2025
Classes End:
December 2, 2025
Location:
02232 Engineering Building 3
Class Days:
M W
Class Start Time:
8:30am
Class End Time:
9:45am
Class Type:
Lecture
Credits:
3.00
Restrictions:
Restriction: CSC Grads, 14DSFCTG, 14DSFZCTG, 14CSCCTG, 14CSCZCTG, 14CNCMS, 14CYSMS, and CN Grads