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.
Study Methods:Online Courses (MAT-401-OL) Jan 2013 Feb 2013 Mar 2013 Apr 2013 May 2013 Jun 2013
Semester Hours: 3
Preview the Online Syllabus (Please note that the contents of the actual online syllabus may differ from the preview due to updates or revisions.)