Certified Professional In Algorithms
Certified Professional In Algorithms
Description
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.
Objective
- 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
APPLY NOW
Module 1
Introduction to algorithms
Algorithms
Complexity Theory
Advanced Algorithmic Techniques
Module 2
Non-Classical Logics Seminar
Mathematical Logic
Set Theory
Modal Logic
Assignments
Module 3
Computability and Complexity
Discrete Mathematics
Modeling of Computing
Assignments
Exam
Download eBooks
TRACCERT CANADA DIPLOMA VERIFICATION TUTORIAL
