View All Courses     Distance Enrollment     Course Number Conversion
 Insall, Matt
 PROF, ASOC
 Mathematics & Statistics
  Personal Page

 315 Rolla Building
 ROLLA, MO 65409
 573/341-4901
  insall@mst.edu

Philosophy 4354: 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 Math 5154)
Additional Info:

Mathematical Logic I-Syllabus


Time/Day: Arranged
Prerequisites: Philos 3254 or Math 5105 or Comp Sci 2500 or Comp Eng 2210.
Units: 3
Course Component(s): Lecture
Introduction Video: Intro
Books:

See syllabus above.


Attention Distance Students

For EdTech Media produced classes: Access to live and archived media is thru MediaSpace.
For other course content: please contact your instructor.

Enrollment Information
Campus Delivery Mode Class Status Class Nbr Section
Distance Education Internet OPEN 72950 1DIS

Course Access Information
Learning Management System Canvas