Область знаний: 

01-101 — Математическая логика и основания математики 

01-207 — Программные модели и системы

Руководитель научной школы - Дудаков Сергей Михайлович, доктор физико-математических наук, доцент

Квалификационный состав научной школы:

• количество докторов наук: 1
• количество кандидатов наук: 4
• количество сотрудников без звания, докторантов, аспирантов, соискателей, обучающихся: 6

Достижения научной школы:

Основным направлением работы научной школы являются исследования в области теории алгоритмов, математической логики, формальных языков и автоматов. Проводились исследования выразительных свойств логических языков, алгоритмических и теоретико-модельных проблем, формальных языков и автоматов. В частности, были исследованы такие вопросы:

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

Участие в конкурсах финансируемых программ и грантов: 

гранты РФФИ 20-01-00435, 13-01-00643, 13-01-00382.

Количество докторов и кандидатов наук, подготовленных за последние 5 лет: 1 к.ф.-м.н.

Количество изданных и принятых к публикации статей в журналах, индексируемых в базах данных Scopus и Web of Science, за последние 5 лет: 9.

Количество изданных и принятых к публикации статей в журналах ВАК за последние 5 лет: 27.