Кафедра дискретной математики и информатики

О кафедре

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

Направления работы

  • теория вычислимости и ее приложения
  • теория вычислимых моделей
  • проблемы существования вычислимых и разрешимых моделей
  • проблемы характеризации моделей различных алгоритмических размерностей
  • вычислимые классы моделей
  • общая теория вычислимых нумераций для различных классов иерархий
  • проблемы формальных языков и их семантики
  • теория автоматных структур
  • проблемы построения гибридных систем на основе определимости
  • взаимоотношения различных типов вычислимости над абстрактными структурами
  • проблемы построения денотационных семантик
  • дискретные модели в генетике
  • проблемы обнаружения закономерностей

Состав кафедры

Заведующий кафедрой

Заведующий кафедрой

д.ф.-м.н., профессор, академик РАН

Телефон: +7 (383) 333 2892

Секретарь кафедры

Секретарь кафедры

к.ф.-м.н.

Телефон: +7 (383) 329 7684

Преподаватели

Профессора

Доценты

Старшие преподаватели

Ассистенты

Сотрудники, готовые работать со студентами
Goncharov.jpg

Гончаров Сергей Савостьянович

Научные интересы: Математическая логика, теория вычислимости, теория вычислимых моделей, теория нумераций, семантическое моделирование

Контакты: s.s.goncharov@math.nsc.ru, +7 (383) 333 2892

4645.PNG

Когабаев Нурлан Талагатович

Научные интересы: Математическая логика, теория вычислимых моделей, алгебраическая теория проективных плоскостей, теория автоматных структур

Контакты: kogabaev@math.nsc.ru, +7 (383) 329 7688 



semen.jpg

Марина Владимировна Швидефски

Научные интересы: Универсальная алгебра, теория решеток

Контакты: semenova@math.nsc.ru


nophoto.png

Орлов Юрий Львович

Научные интересы: Компьютерный анализ генетическихтекстов. Оценки сложности текста. Математические задачи биоинформатики

Контакты: orlov@bionet.nsc.ru




nophoto.png

Селиванов Виктор Львович

Научные интересы: Математическая логика,теория вычислений, теория автоматов, теория сложности и вычислимости в анализе и топологии, иерархии регулярных языков и сверхъязыков, теория областей Ершова-Скотта

Контакты: vseliv@ngs.ru


3QMwSAlDdLM.jpg

Оспичев Сергей Сергеевич

Научные интересы: Математическая логика, теория вычислимости, теория нумераций

Контакты: ospichev@gmail.com