И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами (продолжение).
Архив семинара
И. В. Латкин (Усть-Каменогорск, Казахстан)
Определимость вычислений на машинах Тьюринга булевыми формулами.
В. Г. Пузаренко
О счетно категоричных теориях, 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 ч., фойе конференц-зала ИМ
