Logic and Computers
Overview
Subject area
PHILO
Catalog Number
37200
Course Title
Logic and Computers
Department(s)
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.
Typically Offered
Fall, Spring
Academic Career
Undergraduate
Liberal Arts
Yes
Credits
Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No
Components
Name
Lecture
Hours
3
Requisites
029774