Книга включает лекции лауреатов премии Тьюринга, которой отмечаются выдающиеся достижения в области программирования, вычислительной математики, математического обеспечения ЭВМ.
Среди лауреатов - известные специалисты: Э. Дейкстра (Нидерланды), Д. Кнут (США), Ч. Хоар (Великобритания), Н. Вирт (Швейцария) и др., книги которых переводились на русский язык и известны советским читателям.
Ряд лекций сопровождается послесловиями авторов, отражающими современное состояние и перспективы исследований.Для математиков-прикладников, программистов разной квалификации, аспирантов и студентов вузов.
Author(s): Перлис А. Дж., Дейкстра Эдсгер В., Кнут Дональд Е. и др.
Publisher: Мир
Year: 1993
Language: Russian
Pages: 559
City: Москва
От редактора перевода 5
Предисловие к русскому изданию 8
Предисловие 9
ВВЕДЕНИЕ К ЧАСТИ I.
Языки и системы программирования (С.Л. Грэхем). Перевод С.В. Чудова 11
А.Дж. Перлис (1966). Синтез алгоритмических систем. Перевод В.В. Мартынюка 16
Эдсгер В. Дейкстра (1972). Смиренный программист. Перевод А.А. Бряндинской 30
Дональд Е. Кнут (1974). Программирование как искусство. Перевод В.В. Мартынюка 48
Дана С. Скотт (1976). Логика и языки программирования. Перевод Е.В. Келлиной 65
Дж. Бэкус (1977). Можно ли освободить программирование от стиля фон Неймана? Функциональный стиль и соответствующая алгебра программ. Перевод В.В. Мартынюка 84
Роберт Флойд (1978). Парадигмы программирования. Перевод М . В. Хатунцевой 159
Чарлз Энтони Ричард Хоар (1980). Старые платья императора. Перевод А.А. Бряндинской 174
Дэнис М. Ритчи (1983). Размышления об исследованиях в области программного обеспечения. Перевод Н.Б. Дерябина 195
Кен Томпсон (1983). Размышления о том, можно ли полагаться на доверие. Перевод Н.Б. Дерябина 203
Никлаус Вирт (1984). От разработки языка программирования к созданию компьютера. Перевод М.В. Хатунцевой 210
ВВЕДЕНИЕ К ЧАСТИ II.
Компьютеры и методы их использования Р. Л. Эшенхёрст). Перевод С.В. Чудова 224
М.В. Уилкс (1967). Компьютеры прежде и теперь. Перевод В.В. Мартынюка 229
Р.В. Хэмминг (1968). Одна из точек зрения на информатику. Перевод X.Д. Икрамова 249
М. Минский (1969). Форма и содержание в информатике. Перевод В.В. Мартынюка 255
Дж. Уилкинсон (1970). Некоторые замечания математика-вычислителя. Перевод X.Д. Икрамова 284
Джон Маккарти (1971). Общность в системах искусственного интеллекта. Перевод В.Г. Толстоусовой 299
Чарльз В. Бахман (1973). Программист-навигатор. Перевод В.Г. Толстоусовой 313
Аллен Ньюэлл, Херберт Саймон (1975). Информатика как эмпирическое исследование: символы и поиск. Перевод С.В.Чудова 333
Микаэль О. Рабин (1976). Сложность вычислений. Перевод Н.А. Карповой 371
К.Е. Айверсон ( 1979). Нотация как средство мышления. Перевод В.В. Мартынюка 392
Э.Ф. Кодд (1981). Реляционная база данных: практическая основа эффективности. Перевод В. Г. Толстоусовой 451
Стивен А. Кук (1982). Обзор сложности вычислений. Перевод Н. А. Карповой 475
Ричард М. Карп (1985). Комбинаторика, сложность и случайность. Перевод Н. А. Карповой 498
Карен Френкель. Постскриптум. Сборка теории сложности из кусков. Перевод Н. А. Карповой 522
Карен Френкель. Посткриптум. Интервью тьюринговских лауреатов. Сложность и параллельные вычисления. Интервью с Ричардом Карпом. Перевод Н. А. Карповой 525
Биографии авторов. Перевод С. В. Чудова 538
Индексы классификационной схемы журнала ACM «Computing Reviews». Перевод С. В. Чудова 538
Именной указатель 550
Предметный указатель 554
