ИМ СО РАН
Вход для сотрудников

Семинар «Конструктивные модели»

Архив семинара

М. Н. Гаськова
Реферат статьи:
M. Harrison-Trainor, A. Melnikov, A. Montalban "Independence in Computable Algebra".

Н. А. Баженов (выступает), М. Мустафа
On learning families of ideals in lattices and Boolean algebras.

П. Е. Алаев
Операция обращения в полях, вычислимых за полиномиальное время (продолжение).

П. Е. Алаев
Операция обращения в полях, вычислимых за полиномиальное время (продолжение).

П. Е. Алаев
Операция обращения в полях, вычислимых за полиномиальное время.

М. Н. Гаськова
Об $n$-разрешимости булевых алгебр с одним выделенным идеалом (продолжение).

М. И. Марчук
Реферат статьи:
U. Andrews, A. M. Kach
Computing and dominating the Ryll-Nardzewski function (продолжение).

Список семинаров

Информация о семинаре

Информация о семинаре

Секретарь семинара:
П. Е. Алаев

Время и место проведения:
Понедельник, 18.10 ч., ауд. 417, ИМ

***

Семинары ИМ СО РАН