Thomas Edison State University | Courses & Schedules
Skip to Main Content

This site provides information using PDF, visit this link to download the Adobe Acrobat Reader DC software.

MAT-401 Mathematical Logic

Logic is often defined as the analysis of methods of reasoning. The mathematical logic is the study of mathematical reasoning and proof. This course starts off with the introduction to propositional calculus, the basics to the course; then it focuses on the first-order logic and model theory. Topics covered include the metatheorems dealing with the properties of soundness, completeness, decidability and consistency. The final part of the course is about formal number theory.

Advisory: This is an upper level mathematics course. It is advisable to have knowledge equivalent to 6 credits of upper level (300/400) courses in mathematics in order to succeed in this course.

Study Methods:

Online Courses (MAT-401-OL):
Jun 2019,  Jul 2019,  Aug 2019,  Sep 2019,  Oct 2019,  Nov 2019,  Dec 2019

Semester Hours: 3

Preview the Online Syllabus new window
(Please go to our bookstore, MBS Direct new window in order to view the correct materials for each course by semester as the contents of the actual online syllabus may differ from the preview due to updates or revisions)