Nov 17, 2018  
Undergraduate Catalog 2018-2019 
    
Undergraduate Catalog 2018-2019

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.