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 2021
Instructors
Meeting Patterns
Classes Start:
August 16, 2021
Classes End:
November 29, 2021
Location:
01226 Engineering Building 2
Class Days:
M W
Class Start Time:
10:15am
Class End Time:
11:30am
Class Type:
Lecture
Credits:
3.00
Restrictions:
Restriction: CSC Grads, 14DSFCTG, 14DSFZCTG, 14CSCCTG, 14CSCZCTG, 14CNCMS, and CN Grads
