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.
Summer I 10W 2025
Instructors
Meeting Patterns
Classes Start:
May 14, 2025
Classes End:
July 25, 2025
Location:
01011 Engineering Building I
Class Days:
T W H
Class Start Time:
3:20pm
Class End Time:
4:35pm
Class Type:
Lecture
Credits:
3.00
Restrictions:
Restriction: CSC Grads, 14DSFCTG, 14DSFZCTG, 14CSCCTG, 14CSCZCTG, 14CNCMS, 14CYSMS, and CN Grads
