Логика и алгоритми

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

Професионално направление: 
4.6. Информатика и компютърни науки
Степен: 
ОКС "магистър"
Специалност: 
MII302113 Информатика
Магистърска програма: 
Логика и алгоритми
Форма на обучение: 
редовно
Продължителност на редовна форма на обучение (брой семестри): 
3
Професионална квалификация: 
Магистър по информатика - Логика и алгоритми
Език на преподаване: 
Български
Ръководител на магистърска програма: 
доц. д-р Александра Соскова

Насоченост, образователни цели

Програмата е насочена към желаещи да получат синхронизирана с най-добрите световни практики теоретична подготовка в областта на приложенията на математическата логика в теоретичната компютърна наука. Наред с придобиване на богат набор от фундаментални знания се цèли и придобиване на умения за изследване и реализация на алгоритми.

Приемът в програмата е с общ конкурс за цялата специалност Информатика. Кандидатстващите за платена форма на обучение не е задължително да се явяват на изпит, като класирането на тези кандидати ще става по успеха от дипломата за висше образование. 

Обучение

Задължителните курсове в програмата дават задълбочена подготовка в света на математическите понятия, с които се моделират и изследват основните системи за рационална аргументация и изчислимост. Изборните курсове са насочени към изучаване на специални формални системи и абстрактни структури, като се визират достатъчно общи конкретни приложения.

През първия семестър (зимен) се предлагат три задължителни курса, а във втория (летен) един, които дават не само широк поглед към областта, но са и базата за по-нататъшното специализиране на студентите с избраните от тях курсове през втория семестър. Изборните курсове и семинари са в направления, в които се предлагат темите за разработване на дипломни работи през третия семестър на обучението.

Професионални компетенции

Завършилите успешно магистърската програма имат добра основа за научноизследователска работа по математическа логика и приложенията ѝ, теоретичното програмиране, както и по-широка математическа култура, даваща възможност за нетривиални практически приложения. 

Професионална реализация

Завършилите тази магистърска програма се реализират в академичната сфера, както като преподаватели в университетите, така и като изследователи в научни институти и водещи изследователски фирми. Те намират и добър прием във фирми, развиващи и осъществяващи иновативни информационни и комуникационни технологии.

Учебен план

Презентация

Прикачен файлРазмер
PDF icon Логика и алгоритми10.9 MB

За информация и контакти

доц. д-р Александра Соскова
ФМИ, бул. Дж. Баучър 5, София 1164
тел.: +359 2 8161 529
e-mail: asoskova@fmi.uni-sofia.bg
сайт на програмата: https://store.fmi.uni-sofia.bg/fmi/logic/bg-logic.html