MATH 37200
Logic and Computers · 3 credits · Spring 2027
Requirements
Prerequisite: CSCI 15000 or PHILO 27500 or MATH 27500 or CSCI 27500
About this course
This course introduces students to logic and its applications to modeling both computer and real-world systems. Topics include various logic's and their applications to modeling systems and reasoning for artificial intelligence, along with proof systems and tools for automated or semi-automated reasoning in these logic's.
Seat status as of Oct 2, 10:25 AM ET. Seats can change between refreshes.
No sections have been posted for this course in this term yet.