Архив
Теоретические исследования
Абстрактные вычисления
Работы А.П. Ершова
Тезисы
выступления в Ургенче на тему "Об одном определении вычислимой функции (вычислимые функции над алгебраическими системами)".
Статья
"Абстрактная вычислимость в алгебраических системах". /Машинописный русский вариант доклада на Ургенчском симпозиуме, написанный для издания в Трудах./
Корректура
статьи "Abstract Computability on Algebraic Structures" (с правками).
Слайды
к лекции по вычислимости.
Доклад, 21.09.1979
"Об одном определении вычислимой функции (вычислимые функции над алгебраическими системами)". /Рукописный и машинописный тексты на русском языке./
Доклад, 21.09.1979
"On a definition of сomputable function (Computable function over algebraic systems)". /Рукописный и машинописный тексты на английском языке./
Слайды, 21.09.1979
к докладу "On a definition of сomputable function (Computable function over algebraic systems)".
Тезисы, 20.11.1979
доклада "Об абстрактном определении вычислимой функции", прочитанном в Ленинградском отделении математического института АН СССР.
Тезисы, 02.06.1980
доклада в Институте кибернетики АН УССР.
Тезисы, 05.09.1980
выступления в Паланге.
Статья, 17.09.1980
"Абстрактная вычислимость в алгебраических системах". /Черновик русского варианта доклада на Ургенчском симпозиуме, подготовленного для издания в Трудах./
Статья, 03.10.1980-17.10.1980
"Abstract Computability on Algebraic Structures". /Английский рукописный текст доклада на Ургенчском симпозиуме, подготовленного для издания в серии Lecture Notes in Computer Science с правками Д. Кнута./
Слайды, 06.06.1981
приготовленные для лекции по абстрактной вычислимости, прочитанной на Сарапульской школе.
Тезисы, 01.03.1982(?)
возможного доклада на Международном конгрессе математиков. "Абстрактная вычислимость на основе формальных инвариантов, отражающих историю вычислений".
Статья, 15.03.1982
"Abstract Computability on Algebraic Structures". /Окончательный текст, который вышел в издании Трудов Ургенчского симпозиума в серии Lecture Notes in Computer Science./

По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016