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