Certified in Algorithms


During the Logic and Algorithms curriculum, the students will have the opportunity to learn about the current trends in Mathematical Logic. The program provides a solid theoretical background indispensable for solving non-trivial algorithmic problems in the field of Mathematics as well as in the field of Computer Science.

What Will I Learn?

  • The compulsory courses give the basic knowledge in the field of Classical and Non-classical logic as well as in Computability and Set Theory. The elective courses focus on the study of special formal systems and abstract structures, providing a deeper knowledge in specific areas of the vast field of Mathematical Logic

Topics for this course

12 Lessons

Module 1

Introduction to algorithms
Complexity Theory
Advanced Algorithmic Techniques

Module 2

Module 3

Course Related Books




  • The following documents required for admission.
  • Educational documents
  • CNIC/Passport Copy
  • Passport Size Picture
  • Experience letter in relevant field

Target Audience

  • Relevant qualification