Mathematical Logic

Home >> Courses Catalogue >> Mathematical Logic
Course Code: 
MTH 2206
Course Credit Units: 
Semester 2
Year of Study: 
Year 2
Undergraduate or Graduate Level: 
Undergraduate Level
Course Discipline: 
Course Description & Objectives: 

Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. Contrary to what one may think mathematical logic is not the logic of mathematics, but more closely resembles the mathematics of logic. It comprises those parts of logic that can be modelled mathematically. 

Learning Outcomes: 

By the end of the course, students should be able to:

  • Explain the concepts, principles, procedures and applications of mathematical logic
  • Explain  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
File Attachments:
Microsoft Office document icon MTH 2206.doc25.5 KB samba porno porno gratis x