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

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

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

Е. И. Хлестова
Реферат статьи:
Robert E. Woodrow, “A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models”.

С. А. Александрова
Реферат статьи:
D. Cenzer, R. Krogman
The Isomorphism Problem for FST Injection Structures (продолжение).

С. А. Александрова
Реферат статьи:
D. Cenzer, R. Krogman
"The Isomorphism Problem for FST Injection Structures".

А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании (продолжение).

А. В. Нечёсов
Полиномиальная вычислимость в семантическом программировании.

М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей (продолжение).

М. И. Марчук, совместно с Н. А. Баженовым
О спектрах разрешимой категоричности для почти простых моделей.

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

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

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

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

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

***

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