PHILO 37200
Download as PDF
PHILO 37200 - Logic and Computers (3 cr)
PhilosophyARTSC - School of Arts and Sciences
Course Title
Logic and Computers
Catalog Description
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.
Minimum
3
Max
3
Academic Progress Units
3
Repeat For Credit
No
Requirement Designation
Regular Liberal Arts
Prerequisites & Corequisites
029774
Lecture