Начало / Университетът / Факултети / Факултет по математика и информатика / Специалности / Магистърски програми / Факултет по математика и информатика / 4.6 Информатика и компютърни науки / Логика и алгоритми