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

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

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

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

Профессора

• Витяев Евгений Евгеньевич, д.ф.-м.н.
• Когабаев Нурлан Талгатович, д.ф.-м.н.
• Морозов Андрей Сергеевич, д.ф.-м.н 
• Пальчунов Дмитрий Евгеньевич, д.ф.-м.н. 
• Селиванов Виктор Львович, д.ф.-м.н.
• Швидефски Марина Владимировна, д.ф.-м.н.
• Свириденко Дмитрий Иванович, д.ф.-м.н.

Доценты

• Баженов Николай Алексеевич, к.ф.-м.н.
• Викентьев Александр Александрович, к.ф.-м.н.
• Кравченко Александр Владимирович, к.ф.-м.н.
• Кудинов Олег Викторович, к.ф.-м.н.
• Оспичев Сергей Сергеевич, к.ф.-м.н.
  
• Стукачев Алексей Ильич, к.ф.-м.н.

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

• Власов Владимир Николаевич, к.ф.-м.н.
• Гаськова Маргарита Николаевна, к.ф.-м.н.
• Орлов Юрий Львович, д.б.н., профессор РАН
  

Ассистенты

• Александрова Светлана Анатольевна, к.ф.-м.н.
• Корнев Руслан Александрович, к.ф.-м.н.
  
• Марчук Маргарита Игоревна, к.ф.-м.н. 

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

1. Биоинформатика, д.б.н. Ю.Л.Орлов, обращаться на почту orlov@bionet.nsc.ru
2. Математическая логика - 2, к.ф.-м.н. Р.А. Корнев, по средам в 18:10, ауд. 5225. Первое занятие 8 октября. По вопросам обращаться на почту r.kornev@g.nsu.ru
3. Булевы алгебры и обогащения, академик С.С. Гончаров, по пятницам в 18:10, аудитория 5225. Первое занятие - 24 сентября
4. Алгоритмические аспекты математической лингвистики, к.ф.-м.н. А.И. Стукачев, по средам в 10:50, ауд. 5211

1. Конструктивные модели, академик С.С. Гончаров, академик Ю.Л. Ершов, д.ф.-м.н. П.Е. Алаев, по понедельникам в 18:10, аудитория 5272, для включения в рассылку обращаться на почту alaev@math.nsc.ru
2. Теория вычислимости, академик С.С. Гончаров, д.ф.-м.н. А.С. Морозов, к.ф.-м.н. Н. А. Баженов, по вторникам в 18:10, аудитория 5210, для включения в рассылку обращаться на почту n.bazhenov@g.nsu.ru
3. Топологические методы в универсальной алгебре, д.ф.-м.н. М.В. Швидефски, по вторникам в 16:20 в ауд. 336 ГК. По вопросам обращаться на почту m.schwidefsky@g.nsu.ru.
Семинар посвящен изучению монографии Ю.Л.Ершова "Топология для дискретной математики" и основ универсальной алгебры, а также решению задач, возникающих на стыке топологии и универсальной алгебры. Семинар рассчитан на студентов бакалавриата и магистратуры ММФ НГУ, имеющих мотивацию к изучению универсальной алгебры.

4. Искусственный интеллект, д.ф.-м.н. Свириденко Дмитрий Иванович, д.ф.-м.н. Витяев Евгений Евгеньевич
5. Объяснительный искусственный интеллект, к.ф.-м.н. А.В. Нечёсов, академик С.С. Гончаров, по средам в 18:10, ауд. 5273. Обращаться на почту fxcom@yandex.ru