Certified in Algorithms

Wishlist Share
Share Course
Page Link
Share On Social Media

About Course

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 You 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

About the instructor

P

Course Curriculum

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
  • Modelling of Computing
  • Assignments

Course Related Books

  • Download eBooks

Exam

Student Ratings & Reviews

No Review Yet
No Review Yet