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