MATH 37200
Logic and Computers · 3 credits · Fall 2026
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 3, 8:10 AM ET. Seats can change between refreshes.
Chill Rank compares professors using Rate My Professors reviews, from Chill to Brutal. What each rank means