Department of Mathematical Logic and Applications


English version Bulgarian version

Home
Members
Bachelor Courses
Master of Science Programs
Defended Master Theses
Our Postgraduate Students
Resources

Master of Sciences Programs in “Logic and Algorithms”

  • Our Department is responsible for the teaching of the Master of Sciences students in the subject „Logic and algorithms“. There are two programs—one for degree „Master of Sciences in Mathematics“ and another for degree „Master of Sciences in Informatics“.
  • The courses extends for three semesters, the third being for working out and defending of a Master of Sciences Thesis. For Students who have not studied in our Faculty there is one additional year during which they have to attend a selection of the existing Bachelor and Master of Sciences courses.
  • Program for degree “Master of Sciences in Mathematics”

    First semester
    1. Mathematical logic II
    2. Modal logic
    3. Recursion theory
    4. Lambda calculus
    Second semester
    1. Model theory
    2. Set theory
    3. Other subjects—90 hours
    Third semester
    Working out and defending a Master Thesis.

    Program for degree “Master of Sciences in Informatics”

    First semester
    1. Mathematical logic II
    2. Modal logic
    3. Recursion theory
    4. Lambda calculus
    5. Algorithms and data structures
    Second semester
    1. Automata on on infinite objects
    2. Applications of finite automata
    3. Other subjects—75 hours
    Third semester
    Working out and defending a Master Thesis.
Ãëàâíà ñòðàíèöà
×ëåíîâå
Áàêàëàâúðñêè êóðñîâå
Ìàãèñòúðñêè ïðîãðàìè
Çàùèòåíè äèïëîìíè ðàáîòè
Íàøèòå äîêòîðàíòè
Ðåñóðñè