Course Code:

MTH 3112

Course Credit Units:

3

Semester:

Semester 1

Year of Study:

Year 3

Undergraduate or Graduate Level:

Undergraduate Level

Academic Programs:

School:

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.