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

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

О кафедре

Одна из самых молодых кафедр механико-математического факультета, кафедра дискретной математики и информатики, была организована в 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/

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

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

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

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

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

Времени осталось мало, нужно поторопиться и все быстро завершить к 6 июня.

Даты защит
Аудитории указаны по комиссиям.

Бакалавры ПМИ, ауд. 4117, начало в 9:00:
1. Сян Цзинхао - 16 июня
2. Долматова Анастасия - 18 июня
3. Смольков Максим - 18 июня

Бакалавры МКН, ауд. 3107, начало в 9:00:
1. Курчев Сергей - 19 июня
2. Кобзев Федор - 19 июня
3. Ариничева Анна - 21 июня

Магистры ПМИ, ауд. 5272, начало в 9:00:
1. Исомиддинов Самариддин - 17 июня
2. Махмасоатов Элбек - 20 июня

Магистры МКН, ауд. 3107, начало в 11:00:
1. Степанищев Степан - 16 июня
2. Лю Чэнь - 16 июня
3. Стрепетова Виталия - 16 июня
4. Цао Цзылу - 16 июня
5. Дементьева Яна - 16 июня
6. Холов Миржамол - 17 июня

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

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

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

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