CSCI 37200 - Logic and Computers

Overview

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

Course Schedule

Loading...