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.





Day(s) and Time(s):

May 26-Jul 9
MW: 4:30-7:30p


Registration for Summer Session I is closed.
Class Number:2278_Smr2020
Your Price*: $1,050.00

For accurate pricing, choose your UMass Boston matriculation status:

UMass Boston Matriculation & Residence status:

* Please note: Tuition discounts and scholarships not displayed. Discounts and scholarships will be reflected on billing invoice.

Remote: Courses that are typically taught face-to-face will be delivered remotely this summer. As opposed to an online course, which requires no live sessions and allows a student to study anytime, a remote course is either: (1) a course with live class sessions delivered via web conferencing, or (2) a course with pre-recorded lectures that a student can watch anytime, typically paired with live discussions sessions. For more detail on the remote format of a specific course, contact the instructor.

Important Dates
Session 1 classes start: May 26, 2020
Session 1 deadline for 100% refund: May 28, 2020
Session 1 deadline for 50% refund: June 2, 2020
For other important dates: