| |
Mar 10, 2025
|
|
|
|
|
Undergraduate Catalog 2018-2019 [ARCHIVED CATALOG]
|
PHILO 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/MATH 37200
prereq: CSCI 15000 OR PHILO/CSCI/MATH 27500
3 hrs
3 cr.
|
|
