Программа конференции

• Алгебраические системы
• Математическая логика и кибернетика
• Математическое образование

Алгебраические системы

25 августа. Среда
Утреннее заседание

Председатель А.А. Махнев

10:00 - 10:15 Открытие конференции

10:15 - 11:00 Э. Гласс. Конечно порожденные решеточные подгруппы конечно представимых решеточно упорядоченных групп

11:00 - 11:05 Перерыв

11:05 - 11:35 Н.Я. Медведев. О теории упорядоченных групп

11:35 - 12:15 Ф. Пуэн. О теориях свободных абелевых конечно порожденных l-групп

12:15 - 12:20 Перерыв

12:20 - 12:50 Р. Лафуэнто-Родригес. Делимость в некоторых обобщенных линейных группах и в упорядоченных группах

12:50 - 12:55 Перерыв

12:55 - 13:35 Р. Винклер. Представление корневыми сплетениями некоторых групп порядковых преобразований

13:35 - 14:30 Обед

25 августа. Среда
Дневное заседание

Председатель А.И. Будкин

14:30 - 14:50 А.А. Махнев. Об автоморфизмах сильно регулярных графов

14:50 - 15:00 А.В. Тимофеенко. О расположении инволюций в некоторых конечных группах

15:00 - 15:20 А.В. Васильев, М.А. Гречкосеева. О распозновании конечных простых групп по их спектрам

15:20 - 15:25 Перерыв

15:25 - 15:55 А.М. Попова, С.В. Журков. Группы единиц целочисленных групповых колец

15:55 - 16:15 Е.П. Вдовин. Картеровы подгруппы конечных групп

16:15 - 16:30 А.М. Попов. О вопросах В.П. Шункова и А.И. Созутова из коуровской тетради

16:30 - 16:35 Перерыв

16:35 - 16:45 А.К. Шлепкин, А.Г. Рубашкин. О группах насыщенных группами диэдра

16:45 - 17:05 С.Г. Колесников. О рациональности и 2-рефлексивности сплетений конечных групп

17:05 - 17:10 Перерыв

17:10 - 17:30 Р. Борзуи. Теоремы изоморфизма на гипер-K-алгебрах

17:30 - 17:50 М. Захеди. Классификация гипер-K-алгебр порядка 3 относительно коммутативного гипер-K-идеала типа 3

17:50 - 18:15 Зверев С.А., Тимофеенко А.В. К теории выпуклых многогранников с правильными гранями

26 августа. Четверг
Утреннее заседание

Председатель Э. Гласс

10:00 - 10:50 В.Н. Ремесленников. Новые подходы к алгоритмическим проблемам

10:50 - 10:55 Перерыв

10:55 - 11:25 В.В. Блудов. О вложении линейно упорядоченных групп в полные упорядочиваемые группы

11:25 - 11:30 Перерыв

11:30 - 12:10 Д. Мундичи. Базисы Шаудера в проективных решеточно упорядоченных абелевых группах

12:10 - 12:40 А.И. Будкин. Доминионы в квазимногообразиях групп

12:40 - 13:10 С.С. Гончаров. Вычислимые группы конечной алгоритмической размерности

13:10 - 13:40 В.М. Левчук. Изоморфизмы определенных локально нильпотентных финитарных групп и ассоциированных колец

13:40 - 14:30 Обед

26 августа. Четверг
Дневное заседание

Председатель В.М. Левчук

14:30 - 14:45 С.Я. Гриншоп. Абелевы группы, определяющиеся своими подгруппами

14:45 - 15:00 Е.А. Тимошенко. Т-радикалы в категории абелевых групп

15:00 - 15:15 С.А. Шахова. Решетки доминионов в квазимногообразных абелевых группах

15:15 - 15:35 А.С. Кондратьев. Нормализаторы силовских 2-подгрупп в конечных простых группах

15:35 - 15:55 А.Г. Рубашкин. О периодических группах, насыщенных группами L₂(pⁿ)

15:55 - 16:00 Перерыв

Председатель В.Н. Ремесленников

16:00 - 16:15 А.А. Кузнецов. К вопросу о конечности B(2,5)

16:15 - 16:30 Я.Н. Нужин, М.А. Газдаева. О строго вещественных унипотентных подгруппах групп лиева типа

16:30 - 16:45 М.В. Янченко. О существовании f-локальных подгрупп в группе

16:45 - 17:00 В.Н. Потапов. О разложимости n-квазигрупп порядка 4

17:00 - 17:10 П.С. Петров Базисы Гребера и алгоритм Бухбергера для групповых алгебр нильпотентных групп

17:10 - 17:20 А.И. Ковыршина Неподвижные элементы в свободных нильпотентных группах ранга 3

Математическая логика и кибернетика

25 августа. Среда
Утреннее заседание

Председатель Н.А. Перязев

10:00 - 10:15 Открытие конференции

10:20 - 10:55 А.С. Морозов. О F-параметризуемых моделях

10:55 - 11:00 Перерыв

11:00 - 11:35 А.Г. Пинус. Элементарные теории производных структур свободных алгебр

11:35 - 11:40 Перерыв

11:40 - 12:15 Д.Е. Пальчунов. Теоретико-модельная формализация онтологий

11:15 - 11:20 Перерыв

12:20 - 12:55 В.Б. Алексеев. Оценки числа дискретных функций из некоторых классов

13:00 - 14:00 Обед

25 августа. Среда
Дневное заседание

Председатели Д.Е. Пальчунов, А.Г. Пинус

14:00 - 14:35 В.Г. Скобелев. Об одном методе представления автоматов группами

14:35 - 14:40 Перерыв

14:40 - 15:15 И.И. Захарчук. Решение задачи выбора лидера на клеточном автомате

15:15 - 15:20 Перерыв

15:20 - 15:55 М.И. Голованов. Допустимые правила нестандартных нетранзитивных и полимодальных логик

15:55 - 16:00 Перерыв

16:00 - 16:35 С.В. Судоплатов. О структурах властных типов

16:35 - 16:40 Перерыв

16:40 - 17:15 Е.А. Палютин. Стабильно определимые классы теорий

17:15 - 17:20 Перерыв

17:20 - 17:55 Г.Ч. Тюменцева. Некоторые вопросы $Sigma^0$-определимости

18:00 - 19:00 Ужин

26 августа. Четверг
Утреннее заседание

Председатели С.Ф. Винокуров, В.И. Пантелеев

10:00 - 10:20 С.П. Ковалев. Алгебраические спецификации в экстремальном программировании

10:20 - 10:40 Р.И. Подловченко. Об эквивалентных преобразованиях в моделях вычислений

10:40 - 10:50 Перерыв

10:50 - 11:10 И.А. Вакула. Об одном классе графов без 3-лап

11:10 - 11:30 А.С. Зинченко, В.И. Пантелеев. О представлении функций конечнозначной логики пучками операторов

11:30 - 11:40 Перерыв

11:40 - 12:00 Г.П. Егорычев. Интегральное представление комбинаторных сумм и некоторые их приложения

12:00 - 12:15 А.Н. Рыбалов. Релятивизации проблемы P=NP? над полем комплексных чисел

12:15 - 12:20 Перерыв

12:20 - 12:35 Н.Л. Коршунова. Нахождение представления булевых функций бесповторными термами над бинарным базисом

12:35 - 12:50 А.С. Балюк. О связи между сложностью полиномиальных и свободно кронекеровых форм булевых функций

12:50 - 13:10 К.Д. Кириченко. О некоторых классах последовательностей булевых функций

13:00 - 14:00 Обед

26 августа. Четверг
Дневное заседание

Председатель В.Г. Скобелев

14:00 - 14:20 А.С. Казимиров. Алгоритм частичной минимизации булевых функций в классе ПНФ

14:20 - 14:35 С.Ф. Винокуров, Л.В. Рябец. Термальное представление кронекеровых спектров

14:35 - 14:45 Перерыв

14:45 - 15:00 И.Л. Карпукова. Двоичные диаграммы решений и их приложения

15:00 - 15:20 Н.А. Перязев, И.К. Шаранхаев. Критерий бесповторности в некоторых элементарных базисах

Математическое образование

Председатель Р.Х. Латыпов

26 августа. Четверг

15:30 - 15:50 А.А. Москвити.н Задачный подход в информатике

15:50 - 16:10 Т.А. Ширяева. Математическая статистика: проблемы преподавания и перспективы

16:10 - 16:15 Перерыв

16:15 - 16:30 А.И. Мадьяров, В.И. Пантелеев. Система DM COMPLEX, обучающая решению типовых задач по курсу дискретной математики

16:30 - 16:45 Л.Н. Победин. Проблемы математического образования

16:45 - 17:00 Н.А. Перязев, Ю.В. Перязева. Типы и стили математического мышления