MATH470-01A Mathematical Logic (with Staff)

MATH470-01A Mathematical Logic (with Staff)

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

Prerequisite(s): CS 220 or MATH 360

Credit(s):

3

Location:

Harbor

Day(s) and Time(s):

May 28-Jul 11
MW: 4:30-7:30p

Availability:

Registration for Summer Session I is closed.
Class Number:3571_Smr2019
Your Price: $1,050.00

For accurate pricing, choose your matriculation & MA resident status:

Matriculation & MA resident status:

Important Dates:
Registration begins: April 1, 2019
Online registration ends: 8:30am on the day of the first class meeting
Add/swap deadline: June 4 (Session 1); July 8 & 22 (Session 2)