Алгебра, математическая логика и дискретная математика

Международная научная конференция студентов, аспирантов и молодых ученых
«Молодежь и наука: проспект Свободный»
Институт математики и фундаментальной информатики
Секция «Алгебра, логика и дискретная математика»
ПРОГРАММА
17 апреля 2015 года, 10.30, ауд. 34-17, пр. Свободный, 79
Председатель профессор В.М. Левчук
Жюри:
профессор Я.Н. Нужин
профессор А.В. Тимофеенко
Секретарь доцент Р.В. Сорокин
тел. 246-99-13, пр. Свободный, 79
ауд. 34-04, e-mail: [email protected]
1.
2.
3.
4.
5.
Моор Михаил Александрович (4 курс)
«N-характеристические модели модальных логик»
ИМиФИ СФУ, научный руководитель доцент В.В. Римацкий
Самбуу Александр Вячеславович (2 курс магистратуры)
Правила вывода с метапеременными и логические уравнения в табличных и
предтабличных логиках
ИМиФИ СФУ, научный руководитель доцент В.Р. Кияткин
Ходюня Николай Дмитриевич (3 курс)
«Канонический базис Лиева идеала алгебры нильтреугольных матриц»
ИМиФИ СФУ, научный руководитель профессор В.М. Левчук
Цыганков Виталий Владимирович (2 курс аспирантуры)
«Максимальные абелевы идеалы кольца обобщенных нильтреугольных матриц»
ИМиФИ СФУ, научный руководитель профессор В.М. Левчук
Канзычакова Ксения Владимировна (4 курс)
«Замыкание корневых подгрупп в унипотентной подгруппе группы Шевалле типа
C_l»
ИМиФИ СФУ, научный руководитель профессор Я.Н. Нужин
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
Сайбаракова Юлия Валерьевна (4 курс)
«Замыкание корневых подгрупп в унипотентной подгруппе группы шевалле типа
B_l»
ИМиФИ СФУ, научный руководитель профессор Я.Н. Нужин
Лихачева Алена Олеговна (1 курс магистратуры)
«О замкнутости ковров типа B_l,C_l,F_4 над коммутативными кольцами»
ИМиФИ СФУ, научный руководитель профессор Я.Н. Нужин
Куклина Светлана Константиновна (1 курс магистратуры)
«О замкнутости ковров типа G2 над коммутативными кольцами»
ИМиФИ СФУ, научный руководитель профессор Я.Н. Нужин
Кириллова Евгения Алексеевна (2 курс магистратуры)
«Максимальные коммутативные идеалы подалгебры NФ(K) алгебр Ли
исключительных типов G2 и F4»
ИМиФИ СФУ, научный руководитель профессор В.М. Левчук
Жоранова Маргарита Владимировна (4 курс)
Алгоритмический критерий допустимости правил вывода в модальной логике GL.2
ИМиФИ СФУ, научный руководитель доцент В.Р. Кияткин
Березина Полина Сергеевна (4 курс)
Построение базиса допустимых правил вывода для одной табличной логики.
ИМиФИ СФУ, научный руководитель доцент В.Р. Кияткин
Семенова Екатерина Вадимовна (10 класс)
«Программные средства проверки некоторых криптографических свойств булевых
функций»
МБОУ «Лицей №7» , научный руководитель профессор Быкова В.В.
Попова Анастасия Владимировна
«О законе умножения в полуполях порядка 16»
ИИФиРЭ СФУ, научный руководитель доцент Кравцова О.В.
Кармышева Юлия Ивановна (3 курс)
«О различных способах представления полуполя порядка 81»
ИМиФИ СФУ, научный руководитель доцент Кравцова О.В.
Окладникова Евгения Сергеевна (4 курс)
«Алгебраические модели многогранников с паркетными гранями, соединение
которых приводит к наклонной призме Q1»
КГПУ им. В. П. Астафьева, научный руководитель доцент А.В. Тимофеенко