View All Courses     Distance Enrollment     Course Number Conversion
no_pic
Instructor: Insall, Matt
Email: insall@mst.edu

Comp Eng 5803: 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 Sci 5203, Philos 4354 and Math 5154)

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 72386 1DIS

Course Access Information
Learning Management System Canvas