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

Доклад:

Голованов Михаил Иванович — Разрешимость логики S5_2 относительно допустимости правил вывода.

Информация по конференции «Алгебра, Логика и приложения».

Поздравления юбиляров.

Доклады:

Сергей Васильевич Ларин — Метаполя и описание метабелевых групп без инволюций.

Анатолий Константинович Шлёпкин — К вопросу о конечности B(2,5).

Доклад:

Александр Васильевич Чагров (Тверь) — Приложения рассекающих (splittings) в решетках к исследованиям свойств нормальных модальных логик.

О проведении в Красноярске в 2010 году международной конференции «Алгебра, логика и приложения».

Доклад:

А. В. Тимофеенко — Инволюции конечных групп и выпуклые правильногранники (докторская диссертация).

Международная конференция «Мальцевские чтения», посвящённая 100-летию А. И. Мальцева (Новосибирск, 24-28 августа).

Доклады:

Е. В. Грачёв (Новосибирск) — Алгоритмы вычислений в конечных группах и целочисленных групповых кольцах конечных групп (кандидатская диссертация).

В. И. Пантелеев (Иркутск) — Операторы и сложность булевых функций (докторская диссертация).

Доклад:

D. Zeilberger (Rutgers Univ.) — Summation vs Integration (12 мая), WZ Algorithmic Proof Theory (14 мая), Determinant Evaluations Via Integral Representations (15 мая).

Доклад:

А. С. Кондратьев (ИММ УрО РАН) — Подгруппы конечных простых групп.

Доклад:

А. С. Кондратьев — Некоторые вопросы преподавания теории групп.

Доклад:

Н. Н. Тарханов (Univ-t Potsdam) — Операторы Дирака ассоциированные с алгебрами.

Доклады:

Ушаков Юрий Юрьевич — Монические автоморфизмы ассоциативных алгебр конечного ранга.

Гульмагомедов Гаджикардир Гюльмагомедович — Примеры просто приводимых 2-групп.

Тимофеенко Иван Алексеевич — Порождающие мультиплеты инволюции линейных групп размерности 2.

Зотов Игорь Николаевич — Локальные автоморфизмы нильпотентных колец матриц малых степеней.

Думаревская Валерия Валерьевна — Тождества группоидов систем троек Штейнера.

Минаева Анна Владиславовна — Криптосистемы Эль-Гамаля, основанные на aвтоморфизмах унитреугольных групп.

Рыжова Анна Вадимовна — Аксиоматизация S-4 логик, заданных V-образными фреймами глубины 3.

Присич Ольга Владимировна — Аксиоматизация S-4 логик, заданных классом ромбовидных фреймов.

Артемьев Алексей Сергеевич — Базис допустимых правил вывода временной логики.

Горбачева Светлана Викторовна — Латинские квадраты малых порядков.

Власенкова Екатерина Валерьевна — Алгебраические и компьютерные модели семейства правильногранных клиноторонд М_8, М_{20} и их содержащих условные ребра производных.

Золотухин Вячеслав Юрьевич — Анализ изменения энтропии текстов при шифровании.

Омельчук Татьяна Анатольевна — Выпуклые (1,2)-правильногранники, составленные из наклонной призмы Q_1 и трехскатного купола М_4.