Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международный симпозиум "Алгоритм в современной математике и ее приложениях"
Материалы симпозиума
Пометки, 28.04.1982(?)
о ходе подготовки к печати статьи А.П. Ершова "Абстрактная вычислимость в алгебраических системах".
Статья, 28.04.1982
"Абстрактная вычислимость в алгебраических системах".
Пометки, 22.11.1980(?)
о ходе подготовки к печати статьи Ф.Л. Бауэра "Алгоритмы и алгебра".
Статья, 22.11.1980
"Алгоритмы и алгебра", переведенная на русский язык А.П. Ершовым.
Пометки, 04.06.1980(?)
о ходе подготовки к печати статьи В.М. Глушкова "О формальных преобразованиях алгоритмов".
Статья, 04.06.1980
"О формальных преобразованиях алгоритмов".
Пометки, 09.01.1980(?)
о ходе подготовки к печати статьи Ю. Матиясевича "Что делать после установления неразрешимости алгорифмической проблемы?".
Статья, 09.01.1980
"Что делать после установления неразрешимости алгорифмической проблемы?"
Пометки, 29.12.1979(?)
о ходе подготовки к печати статьи А.О. Буды "Об опыте езды на двух конях в программировании".
Статья, 29.12.1979
"Об опыте езды на двух конях в программировании".
Пометки, 07.12.1979(?)
о ходе подготовки к печати статьи А.В. Анисимова "Преобразователи Черча-Россера и разрешимые свойства обработки деревьев".
Статья, 07.12.1979
"Преобразователи Черча-Россера и разрешимые свойства обработки деревьев".
Пометки, 14.09.1981(?)
о ходе подготовки к печати статьи С. Клини "Об истоках теории рекурсивных функций".
Статья, 14.09.1981
"Origins of Recursive Function Theory".
Статья, 27.04.1982
"Об истоках теории рекурсивных функций", переведенная на русский язык Н.В. Белякиной.
Пометки, 14.11.1981(?)
о ходе подготовки к печати Приложения 1.
Приложение 1, 14.11.1981
- список участников Ургенчского симпозиума.
Пометки, 14.11.1982(?)
о ходе подготовки к печати Приложения 2.
Приложение 2, 14.11.1982
- программа работы Ургенчского симпозиума.
Пометки, 14.11.1982(?)
о ходе подготовки к печати Приложения 3.

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

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