Course Catalog

all > UGRD > MATH

Mathematical Logic

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

Pre Requisites: Pre-req = MATH/CS 320L or MATH 360

Offered in:

2018 Summer

Section Class Number Schedule/Time Instructor Location
01A 3025 MW
4:30 - 7:30 pm
TBD Y02-2100
Session: CE Ses 2
Class Dates: 05/29/2018 - 07/12/2018
Capacity: 10
Enrolled: 1
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-req = MATH/CS 320L or MATH 360
Course Attributes: