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.
DE Fee
Engineering Online GRAD
DE Program
MS E
Fall 2025
Instructors
Meeting Patterns
Classes Start:
August 18, 2025
Classes End:
December 2, 2025
Distance Education:
Yes
Class Days:
[TBA]
Class Type:
Lecture
Credits:
3.00
Restrictions:
Prerequisite: CSC 333 of LOG 335 or LOG 435 Enrollment for this course is through the Engineering Online Registration System. Go to http://go.ncsu.edu/eol_registration