Logic and Computers

Overview

Subject area

CSCI

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

Course Schedule