Катедра по математическа логика и приложенията ѝ


English version Bulgarian version

Магистърска програма „Логика и алгоритми“

Магистърската програма по логика и алгоритми е предназначена за бакалаври по информатика, компютърни науки, софтуерно инженерство, информационни системи, математика, приложна математика, философия, лингвистика, които не е задължително да са завършили СУ, и не предвижда предварителни знания по логика, но евентуалното им наличие е от полза. Тя цели специализация на студентите в областта на теоритичното програмиран е, математическата логика и теорията на алгоритмите на нивото на най-добрите аналогични програми в света. Повече информация може да намерите тук

Учебен план

I семестър
1. Математическа логика (З)
2. Теория на множествата (З)
3. Модална логика (З)
3. Изчислимост и сложност
4. Бързи алгоритми върху структури от данни
5. Семинар по некласически логики (част 1)
II семестър
1. Теория на изчислимостта (З)
2. Теория на моделите
3. Изчислимост в анализа
4. Приложения на крайните автомати
5. Ламбда смятане и теория на доказателствата
6. Логики за пространство и време, основани на региони и контакт
7. Приложни модални логики
8. Семинар по некласически логики (част 2)
III семестър
1. Автомати над безкрайни обекти
2. Преддипломен курсов проект
3. Разработване и защита на дипломна работа

Курсовете отбелязани с (З) са задължителни.