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

О кафедре

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

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

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

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

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

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

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

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

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

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

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

Научные интересы:

  1.  Разрешимые модели и арифметические модели, в частности моделей теорий Эренфойхта (проблема Морли), теорий со счетным числом счетных моделей (проблема Гончарова-Миллара).
  2. Конструктивные модели, модели полиномиальной сложности и других сложностных классов (проблемы существования, 10 проблема Гильберта, проблемы степеней автоустойчивости, степеней сложности представлений и т.д.).
  3. Вычислимые нумерации (проблема Ершова о числе минимальных нумераций), вычислимые нумерации для классов иерархий арифметической, гиперарифметической, аналитической , иерархии Ершова, Иерархии Найт, вычислимых функционалов конечных типов.
  4. Теория моделей, проблемы характеризации счетных моделей, в частности для Эренфойхтовых теорий.
  5. Проблемы логического программирования на основе подхода Ершова-Гончарова-Свириденко и их применения к проблемам искусственного интеллекта, теории автоматической верификации и доказательства, онтологии и алгебраические абстрактные типы.

Ученики С.С.Гончарова, защитившие кандидатские и докторские диссертации: https://www.genealogy.math.ndsu.nodak.edu/id.php?id=59029; https://www.scopus.com/authid/detail.uri?authorId=56377536800#

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

semen.jpg

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

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

Контакты: m.schwidefsky@g.nsu.ru


orlov1.jpg

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

Научные интересы: анализ генетических текстов, данных высокопроизводительного геномного секвенирования, цифровая медицина

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

nophoto.png

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

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

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


3QMwSAlDdLM.jpg

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

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

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

Bazhenov.png

Баженов Николай Алексеевич

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

Контакты: n.bazhenov@g.nsu.ru, https://bazhenov.droppages.com/

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

2025–2026 учебный год

Спецкурсы
  1. Биоинформатика, д.б.н. Ю.Л.Орлов, обращаться на почту orlov@bionet.nsc.ru
  2. Математическая логика - 2, к.ф.-м.н. Р.А. Корнев, по пятницам в 14:30, ауд. 4231
  3. Булевы алгебры и обогащения, академик С.С. Гончаров, по пятницам в 09:00, ауд. 4140
  4. Алгоритмические аспекты математической лингвистики, к.ф.-м.н. А.И. Стукачев, по пятницам в 10:50, ауд. 5251
Спецсеминары
  1. Конструктивные модели, академик С.С. Гончаров, академик Ю.Л. Ершов, д.ф.-м.н. П.Е. Алаев, по понедельникам в 18:10, аудитория 5272, для включения в рассылку обращаться на почту alaev@math.nsc.ru
  2. Теория вычислимости, академик С.С. Гончаров, д.ф.-м.н. А.С. Морозов, к.ф.-м.н. Н. А. Баженов, по вторникам в 18:10, аудитория 5210, для включения в рассылку обращаться на почту n.bazhenov@g.nsu.ru
  3. Топологические методы в универсальной алгебре, д.ф.-м.н. М.В. Швидефски, по вторникам в 14:30, аудитория 4135. Первое занятие 24 февраля 2026 года. По вопросам обращаться на почту m.schwidefsky@g.nsu.ru.
  4. Семинар посвящен изучению монографии Ю.Л.Ершова "Топология для дискретной математики" и основ универсальной алгебры, а также решению задач, возникающих на стыке топологии и универсальной алгебры. Семинар рассчитан на студентов бакалавриата и магистратуры ММФ НГУ, имеющих мотивацию к изучению универсальной алгебры.
  5. Объяснительный искусственный интеллект, к.ф.-м.н. А.В. Нечёсов, академик С.С. Гончаров, по средам в 18:10, ауд. 5273. Обращаться на почту fxcom@yandex.ru
Анонсы заседаний спецсеминаров можно найти на сайте Института математики https://math.nsc.ru/
Объявления
Встреча со студентами: замена аудитории
Встреча со студентами 2 курса будет проходить в ауд. 207 КПА.

Предзащиты и защиты ВКР
Предзащиты ВКР (4 курс бак, 2 курс маг) пройдут в период 11.05-30.05.
Защиты ВКР пройдут в период 15.06-20.06.
Просьба своевременно, до 31 мая, предоставить секретарю кафедры комплекты документов в электронном виде для проверки на антиплагиате и загрузки в электронный архив (см. объявление ниже). Сдать бумажные документы в деканат вам будет необходимо до 5 июня.

Защиты курсовых работ магистрантов 1 года
Защиты состоятся во время контрольной недели, с 25 по 30 мая (пока официально нет информации, ориентируемся на эти даты). Физически они проводиться не будут, на предзащиту тоже приходить не надо, нужно только предоставить кафедре (в электронном виде) текст работы и скан подписанного отзыва научного руководителя. Допускается использование в качестве курсовой текста статьи или тезисов / материалов доклада на конференции по результатам работы над темой магистерской диссертации. В этом случае также должен быть оформлен титульный лист и страница, на которой указано, что в качестве текста курсовой представляется статья / тезисы с указанием выходных данных.

1. Отзыв должен быть подписан научным руководителем и заверен в деканате печатью.
2. Титульный лист также подписывается научным руководителем и заверяется печатью в деканате. Дата защиты не проставляется.

Преддипломная практика
Помимо ВКР, студенты 4 курса и магистранты 2 года сдают зачет по преддипломной практике, отчеты по практике должны быть подписаны научным руководителем и зав. кафедрой и сданы в деканат (дедлайн позднее). Удобнее всего будет принести отчеты на предзащиту и там же подписать, ну или сдать в ячейку в деканате.

Встреча со студентами 2 курса
9 апреля, в четверг, в 18:10 в ауд. 207 КПА состоится встреча сотрудников кафедры ДМИ со студентами 2 курса ММФ.

Спецкурсы
18.03 - обновлена информация о спецкурсах на текущий семестр с актуальными аудиториями

Общие объявления
1. Подписание документов (планов, отчетов и т.д.)
Для подписания документа (зав. кафедрой или секретарем) проще всего оставить его в ячейке кафедры в деканате (справа от входа), уведомив секретаря о том, что нужна подпись. Забрать потом можно будет из той же ячейки.
2. Комплекты документов для защит дипломных работ
До 31 мая (лучше как можно раньше) необходимо предоставить кафедре комплекты документов для защиты в электронном виде:

    текст работы,
    отзыв научного руководителя (скан),
    рецензия (скан),
    аннотация,
    титульный лист (скан).

Поясним некоторые формальные моменты по оформлению документов.
1. Отзыв подписывается научным руководителем и заверяется печатью в деканате, затем сканируется и отправляется на почту секретарю кафедры.
2. Рецензия подписывается рецензентом, заверяется печатью по основному месту работы рецензента, скан отправляется секретарю.
3. На титульном листе указываются научный руководитель и зав.кафедрой, они ставят свои подписи, указываются даты подписания. Обе подписи заверяются печатью в деканате. Наконец, проставляется дата защиты. Даты защит будут известны позднее.
4. Аннотация подписывается студентом, указывается дата подписания. Текст обычно берется из реферата в дипломе. В шапке должно быть указано ваше ФИО и степень (бакалавр / магистр).

Для проверки на антиплагиате pdf-файл с текстом должен быть распознаваем. Для этого необходимо подключить пакет cmap в преамбуле (\usepackage{cmap}). После проверки выдается справка из системы, подписанная секретарем кафедры. Эта справка включается в пакет документов, который вы сдаете в деканат, но справки я лучше сдам самостоятельно.

Также будет необходимо сшить три копии выпускной работы в типографии НГУ. Для этого нужно взять в деканате три обложки и отнести работы в типографию. В одну из копий вы подшиваете оригинал титульного листа, подписанный и заверенный печатями - это главная копия, она сдается в деканат в комплекте документов для защиты. Две другие копии для вас и научного руководителя.