Course Listings

all > UGRD > math > math 470

Mathematical Logic

Course #: MATH 470

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

Pre Requisites: Pre-requisite: CS 220 or MATH 360

Offered in:

2024 Summer

Section Class Number Schedule/Time Instructor Location
01 2460 MW
4:30 - 7:30 pm
TBD University Hall Y03-3380
Session: SS1 6W
Class Dates: 05/28/2024 - 07/11/2024
Capacity: 20
Enrolled: 5
Status: Open
Credits: 3/3
Class Notes:
Pre Requisites: Pre-requisite: CS 220 or MATH 360
Course Attributes: