The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    Hunter College
   
 
  Feb 19, 2018
 
 
    
Undergraduate Catalog 2017-2018

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.