CSCI 37200 - Logic and Computers
Overview
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
Credits
Minimum Units
3
Maximum Units
3
Academic Progress Units
3
Repeat For Credit
No
Components
Name
Lecture
Hours
3
Requisites
029774