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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

***

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