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

О кафедре

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

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

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

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

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

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

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

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

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

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

к.ф.-м.н.

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

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

Профессора

Доценты

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

Ассистенты

Сотрудники, готовые работать со студентами
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

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