Instructor: Insall, Matt
Email: insall@mst.edu
Math 5154: Mathematical Logic I
A mathematical introduction to logic with some applications. Functional and relational languages, satisfaction, soundness and completeness theorems, compactness theorems. Examples from Mathematics, Philosophy, Computer Science, and/or Computer Engineering.(Co-listed with Comp Eng 5803, Comp Sci 5203 and Philos 4354)
Time/Day: Arranged Prerequisites: Philos 3254 or Math 5105 or Comp Sci 2500 or Comp Eng 2210. Units: 3 Course Component(s): Lecture |
|
Attention Distance Students
For classes produced by I.T. MediaServices: Access to live and archived media will be available in MediaSpace at mst.mediaspace.kaltura.com or in Panopto at mst.hosted.panopto.com. For more information email itms@mst.edu.
For other course content: please contact your instructor.
Enrollment Information | ||||
Campus | Delivery Mode | Class Status | Class Nbr | Section |
Distance Education | Internet | OPEN | 77330 | 1DIS |
Course Access Information | ||||
Learning Management System | Canvas |