Course Catalog

UGRD > MATH > 470

Mathematical Logic

Description:
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
01A 3594 MW
16:30 - 19:30
Nguyen,Long Bao W01-0034
Session: CE Ses 2
Class Dates: 05/30/2017
Capacity: 17
Enrolled: 11
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = MATH/CS 320L or MATH 360
Course Attributes:
50A 1128 MW
16:30 - 19:30
Nguyen,Long Bao W01-0034
Session: CE Ses 2
Class Dates: 05/30/2017
Capacity: 13
Enrolled: 12
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = MATH/CS 320L or MATH 360
Course Attributes: