Содержание Части I
- Предисловие редакторов
- ЗЕМАНЕК X. Аль-Хорезми: происхождение, личность, работы, влияние (пер. А.П.Ершова)
- КНУТ Д. Алгоритмы в современной математике и вычислительной науке (пер. Г.С.Цейтина)
- УСПЕНСКИЙ В.А., СЕМЕНОВ А.Л. Теория алгоритмов: ее основные открытия и приложения
- БАРЗДИНЬ Я.М. Об индуктивном синтезе программ
Содержание Части II
- МАНИН Ю.И. Расширяющаяся конструктивная вселенная
- ВАН ВЕЙНГААРДЕН А. Безъязыковое программирование (пер. А.Ф. Papa)
- НЕПЕЙВОДА Н.Н. Логический подход к программированию
- ТЫУГУ Э.Х. Структурный синтез программ
- ЛЕТИЧЕВСКИЙ А.А. О поиске инвариантных соотношений в программах
- АДЕЛЬСОН-ВЕЛЬСКИЙ Г.М., СЛИСЕНКО А.О. Что мы можем сделать с задачами полного перебора?
- АЛЬДЕР А., ШТРАССЕН Ф. Алгоритмическая сложность линейных алгебр (пер, А.О.Слисенко)
- КЛИНИ С.К.Алгоритмы в различных смыслах (пер.Г.В.Шеиной)
- ШАНИН Н.А. Роль понятия алгорифма в семантике арифметических языков
- ЦЕЙТИН Г.С. От логицизма к процедурализму
- ЕРШОВ А.П. Абстрактная вычислимость в алгебраических системах
- БАУЭР Ф.Л. Алгоритмы и алгебра (пер. А.П.Ершова)
- ГЛУШКОВ В.М. О формальных преобразованиях алгоритмов
- МАТИЯСЕВИЧ Ю. Что делать после установления неразрешимости алгорифмической проблемы?
- БУДА А. Об опыте езды на двух конях в программировании
- АНИСИМОВ А.В. Преобразование Черча-Россера и разрешимые свойства обработки деревьев
- КЛИНИ С.К. Об истоках теории рекурсивных функций (пер. Н.В.Белякина)
- Приложение 1. Участники симпозиума
- Приложение 2. Программа симпозиума
- Приложение 3. Публикации о симпозиуме