CSCI 37100 - Advanced Symbolic Logic

Overview

Department(s)

Description

A survey of the central results and techniques of metalogic, principally mathematical induction, the soundness and completeness of theorems for first-order logic, the Skolem theorem, and Church's theorem on undecidability.

Typically Offered

All Terms

Academic Career

Undergraduate

Credits

Minimum Units

3

Maximum Units

3

Academic Progress Units

3

Repeat For Credit

No

Components

Name

Lecture

Hours

3

Requisites

029789

Course Schedule

Loading...