В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Архив семинара
В. Г. Пузаренко
О счетно категоричных теориях, 2.
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.А. Р. Углев и М. В. Швидефски
Реферат статьи D. Spreen "Domains, information frames, rough sets: an equivalence of categories" (продолжение).
М. И. Кудряшова и С. М. Курчев (НГУ)
Реферат статьи: D. Spreen "Domains, information frames, rough sets: an equivalence of categories".
Н. А. Баженов
Об эффективной категоричности для вычислимых структур.
А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
А. И. Стукачев
Обобщенно конструктивные процессы и структуры (докторская диссертация, продолжение).
Информация о семинаре
Руководители:
акад. С. С. Гончаров, акад. Ю. Л. Ершов, д.ф.-м.н. А. С. Морозов
Время и место проведения:
Вторник, 18.10 ч., фойе конференц-зала ИМ
