DRAKON.SU

30 лет назад группа математиков и программистов задумала и осуществила научное паломничество на родину аль-Хорезми, выдающегося ученого 9-го века, кому обязаны своим происхождением слова алгебра и алгоритм.

16-22 сентября 1979 года в г. Ургенче (Узбекистан) был проведен симпозиум «Алгоритмы в современной математике и ее приложениях».

Его организаторами стали чл.-корр. АН СССР, зав. отделением информатики ВЦ СО АН СССР А.П. Ершов и лауреат премии Тьюринга, член Национальной академии наук США, профессор Стэнфордского университета Дональд Кнут.

Предлагаем вашему вниманию труды конференции, вышедшие в 1982 году под редакцией А.П. Ершова и Д. Кнута.

Содержание Части I

Предисловие редакторов

ЗЕМАНЕК X. Аль-Хорезми: происхождение, личность, работы, влияние (пер. А.П.Ершова)

КНУТ Д. Алгоритмы в современной математике и вычислительной науке (пер. Г.С.Цейтина)

УСПЕНСКИЙ В.А., СЕМЕНОВ А.Л. Теория алгоритмов: ее основные открытия и приложения

БАРЗДИНЬ Я.М. Об индуктивном синтезе программ
Содержание Части II

МАНИН Ю.И. Расширяющаяся конструктивная вселенная

ВАН ВЕЙНГААРДЕН А. Безъязыковое программирование (пер. А.Ф. Papa)

НЕПЕЙВОДА Н.Н. Логический подход к программированию

ТЫУГУ Э.Х. Структурный синтез программ

ЛЕТИЧЕВСКИЙ А.А. О поиске инвариантных соотношений в программах

АДЕЛЬСОН-ВЕЛЬСКИЙ Г.М., СЛИСЕНКО А.О. Что мы можем сделать с задачами полного перебора?

АЛЬДЕР А., ШТРАССЕН Ф. Алгоритмическая сложность линейных алгебр (пер, А.О.Слисенко)

КЛИНИ С.К.Алгоритмы в различных смыслах (пер.Г.В.Шеиной)

ШАНИН Н.А. Роль понятия алгорифма в семантике арифметических языков

ЦЕЙТИН Г.С. От логицизма к процедурализму

ЕРШОВ А.П. Абстрактная вычислимость в алгебраических системах

БАУЭР Ф.Л. Алгоритмы и алгебра (пер. А.П.Ершова)

ГЛУШКОВ В.М. О формальных преобразованиях алгоритмов

МАТИЯСЕВИЧ Ю. Что делать после установления неразрешимости алгорифмической проблемы?

БУДА А. Об опыте езды на двух конях в программировании

АНИСИМОВ А.В. Преобразование Черча-Россера и разрешимые свойства обработки деревьев

КЛИНИ С.К. Об истоках теории рекурсивных функций (пер. Н.В.Белякина)

Приложение 1. Участники симпозиума
Приложение 2. Программа симпозиума
Приложение 3. Публикации о симпозиуме