Jun 16, 2019  
Undergraduate Catalog 2017-2018 
Undergraduate Catalog 2017-2018 [ARCHIVED CATALOG]

MATH 37200 - Logic and Computers

This course introduces students to logic and its applications to modeling both computer and real-world systems. Topics include various logics 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 logics.
cross-listed CSCI 37200/PHILO 37200
prereq: CSCI 15000 OR PHILO/CSCI/MATH 27500
3 hrs
3 cr.