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

Cеминар «Теория вычислимости»

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

А. Р. Углев и М. В. Швидефски
Реферат статьи D. Spreen "Domains, information frames, rough sets: an equivalence of categories" (продолжение).

М. И. Кудряшова и С. М. Курчев (НГУ)
Реферат статьи: D. Spreen "Domains, information frames, rough sets: an equivalence of categories".

Н. А. Баженов
Об эффективной категоричности для вычислимых структур.

А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).

А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).

А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация).

В. С. Исаков (НГУ)
HKSS-полнота булевых алгебр с выделенными подалгебрами и множеством атомов.

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

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

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

Руководители:
акад. С. С. Гончаров, акад. Ю. Л. Ершов, д.ф.-м.н. А. С. Морозов

Время и место проведения:
Вторник, 18.10 ч., фойе конференц-зала ИМ

***

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