Эшенхёрст Р. (ред.) Лекции лауреатов премии Тьюринга за первые 20 лет, 1966-1985

Пер. с англ. под ред. Ю.М.Баяковского — М.: Мир, 1993. — 560 с. — ISBN: 5-03-002130-2.Книга включает лекции лауреатов премии Тьюринга, которой отмечаются выдающиеся достижения в области программирования, вычислительной математики, математического обеспечения ЭВМ. Среди лауреатов - известные специалисты: Э. Дейкстра (Нидерланды), Д. Кнут (США), Ч. Хоар (Великобритания), Н. Вирт (Швейцария) и др., книги которых переводились на русский язык и известны советским читателям. Ряд лекций сопровождается послесловиями авторов, отражающими современное состояние и перспективы исследований.Для математиков-прикладников, программистов разной квалификации, аспирантов и студентов вузов.От редактора перевода (Ю.М.Баяковский).
Предисловие к русскому изданию (Дж.Р. Уайт ).
Предисловие (Р.Л.Эшенхёрст).Введение. Языки и системы программирования (С. Л. Грэхем).
Синтез алгоритмических систем (А.Дж. Перлис, 1966).
Смиренный программист (Э.В. Дейкстра, 1972).
Программирование как искусство (Д.Е. Кнут, 1974).
Логика и языки программирования (Д.С. Скотт, 1976).
Можно ли освободить программирование от стиля фон Неймана? Функциональный стиль и соответствующая алгебра программ (Дж. Бэкус, 1977).
Парадигмы программирования (Р. Флойд, 1978).
Старые платья императора (Ч.Э.Р. Хоар, 1980).
Размышления об исследованиях в области программного обеспечения (Д.М. Ритчи, 1983).
Размышления о том, можно ли полагаться на доверие (К. Томпсон, 1983).
От разработки языка программирования к созданию компьютера (Н. Вирт, 1984).Введение. Компьютеры и методы их использования (Р.Л. Эшенхёрст).
Компьютеры прежде и теперь (М.В. Уилкс, 1967).
Одна из точек зрения на информатику (Р.В. Хэмминг, 1968).
Форма и содержание в информатике (М. Минский, 1969).
Некоторые замечания математика-вычислителя (Дж. Уилкинсон, 1970).
Общность в системах искусственного интеллекта (Дж. Маккарти, 1971).
Программист-навигатор (Ч.В. Бахман, 1973).
Информатика как эмпирическое исследование: символы и поиск (А.Ньюэлл, Х.Саймон, 1975).
Сложность вычислений (М.О. Рабин, 1976).
Нотация как средство мышления (К.Е. Айверсон, 1979).
Реляционная база данных: практическая основа эффективности (Э.Ф. Кодд, 1981).
Обзор сложности вычислений (С.А. Кук, 1982).
Комбинаторика, сложность и случайность (Р.М. Карп, 1985).Постскриптум.
Сборка теории сложности из кусков (К. Френкель).
Интервью тьюринговских лауреатов. Сложность и параллельные вычисления. Интервью с Ричардом Карпом (К. Френкель).Биографии авторов.
Индексы классификационной схемы журнала ACM «Computing Reviews».
Именной указатель.
Предметный указатель.