Course Catalog

UGRD > MATH > 470

Mathematical Logic

Syntax and semantics of propositional and first order predicate logic. Axiomatic theories and completeness. Brief discussion of incompleteness results.

Offered in:

2017 Summer

Section Class Number Schedule/Time Instructor Location
50A 1128 MW
16:30 - 19:30
Nguyen,Long Bao S02-0066
Session: CE Ses 2
Class Dates: 05/30/2017
Capacity: 20
Enrolled: 0
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = MATH/CS 320L or MATH 360
Course Attributes: