Course Objective: To explore and understand the challenges for Theoretical Computer Science and its contribution to other sciences.

Learning Outcomes: After the course, a student will be able to model, compare and analyse different models of computation, and can identify limitations of some computational models and possible methods of proving them.

Course Objective: To explore the foundations of mathematics at a level and at depth for someone ambitious to study the higher mathematics.

Learning Outcomes: After completion of the course, a student will able to realise what it means to do mathematics, instead of only learning it or to do some computational exercises.

Objective: To explore the foundations of mathematics at a level and at depth for someone ambitious to study the higher mathematics.

Learning Outcomes: After completion of the course, a student will able to realise what it means to do mathematics, instead of only learning it or to do some computational exercises.