Книга включает лекции лауреатов премии Тьюринга, которой отмечаются выдающиеся достижения в области программирования, вычислительной математики, математического обеспечения ЭВМ. Среди лауреатов - известные специалисты: Э. Дейкстра (Нидерланды), Д. Кнут (США), Ч. Хоар (Великобритания), Н. Вирт (Швейцария) и др., книги которых переводились на русский язык и известны советским читателям. Ряд лекций сопровождается послесловиями авторов, отражающими современное состояние и перспективы исследований.Для математиков-прикладников, программистов разной квалификации, аспирантов и студентов вузов.
Author(s): А. Дж. Перлис, Эдсгер В. Дейкстра, Дональд Е. Кнут и др.
Publisher: Мир
Year: 1993
Language: Russian
Pages: 559
City: Москва
Tags: Информатика и вычислительная техника;Разное в ИТ;
От редактора перевода 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). Сложность вычислений. Перевод Н.А. Карповой К. Е. Айверсон ( 1979). Нотация как средство мышления. Перевод В.В. Мартышока Э. Ф. Кодд ( 1981 ). Реляционная база данных: практическая основа эффективности. Перевод В. Г. Толстоусовой Стивен А. Кук ( 1982 ). Обзор сложности вычислений. Перевод Н. А. Карповой Ричард М. Карп (1985). Комбинаторика, сложность и случайность. Перевод Н. А. Карповой Карен Френкель. Постскриптум. Сборка теории сложности из кусков. Перевод Н. А. Карповой Карен Френкель. Посткриптум. Интервью тьюринговских лауреатов. Сложность и параллельные вычисления. Интервью с Ричардом Карпом. Перевод Н. А. Карповой Биографии авторов. Перевод С. В. Чудова Индексы классификационной схемы журнала ACM «Computing Reviews». Перевод С. В. Чудова Именной указатель Предметный указатель
