Институт математики
и фундаментальной информатики СФУ

Доклады:

ОДИНЦОВ Сергей Павлович (Новосибирск, ИМ СО РАН) — IF-логика и реализуемость по Нельсону.

ЯШИН Александр Данилович (Москва, МГППУ) — Логика Даммета, иррефлексивная модальность и полнота по Новикову.

Доклад:

ЛУКЬЯНЧУК Александра Николаевна — Временная интранзитивная мульти-агентная логика: алгоритмы разрешимости, правила вывода (кандидатская диссертация).

Доклад:

НУЖИН Яков Нифантьевич — Разложение Леви для ковровых подгрупп групп Шевалле над полем.

О юбилее Ю. Л. Ершова.

Доклады:

МООР Михаил Александрович — N-характеристические модели модальных логик.

БЕРЕЗИНА Полина Сергеевна — Построение базиса допустимых правил вывода для одной табличной логики.

ХОДЮНЯ Николай Дмитриевич — Канонический базис лиева идеала алгебры нильтреугольных матриц.

ЦЫГАНКОВ Виталий Владимирович — Максимальные абелевы идеалы кольца обощенных нильтреугольных матриц.

КАНЗЫЧАКОВА Ксения Владимировна — Замыкание корневых подгрупп в унипотентной подгруппе группы Шевалле типа C_l.

САЙБАРАКОВА Юлия Валерьевна — Замыкание корневых подгрупп в унипотентной подгруппе группы Шевалле типа B_l.

ЛИХАЧЁВА Алёна Олеговна — О замкнутости ковров типа B_1, C_1, F_4 над коммутативными кольцами.

КУКЛИЛНА Светлана Константновна — О замкнутости ковров типа G_2 над коммутативными кольцами.

КИРИЛЛОВА Евгения Алексеевна — Максимальные коммутативные идеалы подалгебры NФ(K) алгебр Ли исключительных типов G2 и F4.

ЖОРАНОВА Маргарита Владимировна — Алгоритмический критерий допустимости правил вывода в модальной логике GL.2.

СЕМЁНОВА Екатерина Вадимовна — Программные средства проверки некоторых криптографических свойств булевых функций.

ПОПОВА Анастасия Владимировна — О законе умножения в полуполях порядка 16.

КАРМЫШЕВА Юлия Ивановна — О различных способах представления полуполя порядка 81.

ОКЛАДНИКОВА Евгения Сергеевна — Алгебраические модели многогранников с паркетными гранями, соединение которых приводит к наклонной призме Q_1.

Подведение итогов работы секции.

Доклады:

ЛИТАВРИН Андрей Владимирович — Автоморфизмы максимальной нильпотентной подалгебры алгебры Шевалле симплектического типа C_n.

БАШМАКОВ Сергей Иванович, Голованов М. И. — Аксиоматизация интуиционистских логик, определяемых малыми фреймами.

Доклад:

МАЗУРОВ В.Д. (Новосибирск), ОЛЬШАНСКИЙЙ А.Ю. (Вандербилд- Москва), СОЗУТОВ Анатолий Ильич (Красноярск) — О бесконечных группах конечного периода.

Доклад:

СОЗУТОВ Анатолий Ильич, АЛЕКСАНДРОВА И.О. — О бихроматических графах.

Доклады:

ШТУККЕРТ Полина Константиновна — Квазиполя и проективные плоскости трансляций малых чётных порядков (кандидатская диссертация).

САБОДАХ Ирина Валерьевна — Вложения конечных групп в бесконечные группы с условиями конечности (кандидатская диссертация).

Доклад:

КОЩЕЕВА Анна Константиновна (Ижевск-Москва, МГППУ) — Новые константы в предтабличных суперинтуиционистских логиках (по материалам кандидатской диссертации).

Доклад:

РОМАКИНА Людмила Николаевна (Саратовский госуниверситет им. Н. Г. Чернышевского) — Геометрия гиперболической плоскости положительной кривизны.