Одна из самых молодых кафедр механико-математического факультета, кафедра дискретной математики и информатики, была организована в 2003 году.
Заведующим кафедрой является академик РАН С.С. Гончаров. Коллектив кафедры в основном состоит из сотрудников Лаборатории логических систем и Лаборатории теории вычислимости и прикладной логики Института математики имени С.Л. Соболева СО РАН.
Сотрудниками кафедры являются такие известные специалисты по математической логике как А.С. Морозов, Н.Т. Когабаев, В.Л. Селиванов и др.
Кафедра сотрудничает с ведущими университетами России и мира. Студенты, специализирующиеся на кафедре, имеют возможность принимать участие в работе научных конференций самого высокого уровня и общаться с учеными, работающими на переднем крае современной науки.
Направления работы
- теория вычислимости и ее приложения
- теория вычислимых моделей
- проблемы существования вычислимых и разрешимых моделей
- проблемы характеризации моделей различных алгоритмических размерностей
- вычислимые классы моделей
- общая теория вычислимых нумераций для различных классов иерархий
- проблемы формальных языков и их семантики
- теория автоматных структур
- проблемы построения гибридных систем на основе определимости
- взаимоотношения различных типов вычислимости над абстрактными структурами
- проблемы построения денотационных семантик
- дискретные модели в генетике
- проблемы обнаружения закономерностей
