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

О кафедре

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

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

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

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

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

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

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

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

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

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

к.ф.-м.н.

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

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

Профессора

Доценты

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

Ассистенты

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

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

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

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

3QMwSAlDdLM.jpg

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

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

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



semen.jpg

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

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

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


nophoto.png

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

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

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




nophoto.png

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

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

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




Спецкурсы и спецсеминары

2020-2021 учебный год

Спецкурсы
  1. Теория моделей, академик С.С. Гончаров, д.ф.-м.н. Н.Т. Когабаев, пятница 18:10, 5225, первое занятие состоится 25 сентября. Годовой.
  2. Теория вычислимости, к.ф.-м.н. Н.А. Баженов, обращаться на почту bazhenov@math.nsc.ru, первый семестр.
  3. Теория нумерация, к.ф.-м.н. С.С. Оспичев, обращаться на почту ospichev@gmail.com, второй семестр
  4. Введение в теорию искусственного интеллекта, д.ф.-м.н. Д.И. Свириденко, д.ф.-м.н. Е.Е. Витяев, обращаться на почту dsviridenko47@gmail.com, второй семестр
  5. Конструктивные процессы и структуры, к.ф.-м.н. А.И. Стукачев, обращаться на почту aistu@math.nsc.ru
Спецсеминары
  1. Конструктивные модели, академик С.С. Гончаров, академик Ю.Л. Ершов, д.ф.-м.н. П.Е.Алаев, понедельник 18:10, ИМ, ауд 417, для включения в рассылку обращаться на почту alaev@math.nsc.ru
  2. Теория вычислимости, академик С.С. Гончаров, д.ф.-м.н. А.С. Морозов, к.ф.-м.н. Н.А. Баженов, вторник 18:10, ИМ, фойе конференц-зала, для включения в рассылку образаться на почту bazhenov@math.nsc.ru
  3. Искусственный интеллект, академик С.С. Гончаров, д.ф.-м.н. Е.Е. Витяев, д.ф.-м.н. Д.И. Свириденко, понедельник 16:20, ИМ, фойе конференц-зала