Mathematical Logic

Home >> Courses Catalogue >> Mathematical Logic
Course Code: 
MTH 3112
Course Credit Units: 
Semester 1
Year of Study: 
Year 3
Undergraduate or Graduate Level: 
Undergraduate Level
Course Description & Objectives: 

This is a problem oriented course in mathematical logic and computability for students with some degree of mathematical sophistication. The course is divided into the following five major topics: Basics of Proposition Logic, Basics of first-order logic (Predicate Calculus), Computability using Turing machines and recursive functions, Incompleteness, Computable and Incomputable functions.

Learning Outcomes: 
  • Demonstrate  basic competence in the concepts, principles, procedures  and applications of mathematical logic
  • Demonstrate knowledge of the reasoning behind mathematical proofs and methodology
  • model real life problems using concepts of set theory and mathematical logic
  • state computable and non-computable functions
  • apply their knowledge and understanding to theoretical computer science e.g., in such critical areas as complier designs.
Mathematical Logic
File Attachments:
Microsoft Office document icon MTH 3112.doc31 KB