Mathematical Logic | Makerere University Courses

Course Code:

MTH 3112

Course Credit Units:

Semester:

Semester 1

Year of Study:

Year 3

Undergraduate or Graduate Level:

Undergraduate Level

College:

College of Education and External Studies

School:

School of Education (SoE)

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.

File Attachments:

Attachment	Size
MTH 3112.doc	31 KB