Идеи, определившие облик информатики

От издательства
Предисловие
Введение: корни и рост информатики
1 Первая аналитика (~350 год до н. э.)
Аристотель
2 Истинный метод (1677)
Готфрид Вильгельм Лейбниц
3 Набросок Аналитической машины (1843)
Л. Ф. Менабреа с замечаниями переводчика, Ады
Августы, графини Лавлейс
4 Исследование законов мышления, на
которых основаны математические теории логики
и вероятностей (1854)
Джордж Буль
5 Математические проблемы (1900)
Давид Гильберт
6 О вычислимых числах с приложением к
проблеме разрешения (1936)
Алан Мэтисон Тьюринг
7 Предлагаемая автоматическая
вычислительная машина (1937)
Говард Хатауэй Эйкен
8 Символический анализ релейных и
переключательных схем
Клод Шеннон
9 Логическое исчисление идей,
относящихся к нервной активности
Уоррен Мак-Каллок и Уолтер Питтс
10 Первая редакция отчета о EDVAC (1945)
Джон фон Нейман
11 Как мы можем мыслить (1945)
Ванневар Буш
12 Математическая теория связи (1948)
Клод Шеннон
13 Коды с обнаружением и исправлением
ошибок (1950)
Р. У. Хэмминг
14 Вычислительные машины и разум
Алан Мэтисон Тьюринг
15 Наилучший метод конструирования
автоматической вычислительной машины (1951)
Морис Уилкс
16 Обучение компьютера (1952)
Грейс Мюррей Хоппер
17 О кратчайшем остовном поддереве графа
и о задаче коммивояжера (1956)
Джозеф Б. Крускал мл.
18 Перцептрон: вероятностная модель
хранения и организации информации (1958)
Фрэнк Розенблатт
19 Некоторые этические и технические
последствия автоматизации (1960)
Норберт Винер
20 Симбиоз человека и машины (1960)
Дж. К. Р. Ликлайдер
21 Рекурсивные функции символических
выражений и их вычисление машиной (1960)
Джон Маккарти
22 Усиление человеческого интеллекта:
концептуальная модель (1962)
Дуглас К. Энгельбарт
23 Экспериментальная система с
разделением времени
(1962)
Фернандо Корбато, Марджори Мервин Даггетт,
Роберт К. Дейли
24 Sketchpad (1963)
Айвен Э. Сазерленд
25 Упаковка большего числа компонентов
на интегральной схеме (1965)
Гордон Мур
26 Решение задачи параллельного
управления программой (1965)
Эдсгер Дейкстра
27 Элиза - компьютерная программа для
изучения взаимодействия между человеком и
машиной на естественном языке (1966)
Джозеф Вейценбаум
28 Структура системы
мультипрограммирования THE
(1968)
Эдсгер Дейкстра
29 О вреде оператора go to (1968)
Эдсгер Дейкстра
30 Метод исключения Гаусса не оптимален
(1969)
Фолькер Штрассен
31 Аксиоматическая основа компьютерного
программирования (1969)
Ч. Э. Р. Хоар
32 Реляционная модель данных для больших
совместно используемых банков данных (1970)
Эдгар Ф. Кодд
33 Управление разработкой больших
компьютерных систем (1970)
Уинстон У. Ройс
34 Сложность процедур вывода теорем
(1971)
Стивен А. Кук
35 Статистическая интерпретация
специфичности термина и ее применение к поиску
(1972)
Карен Спарк Джонс
36 Сводимость комбинаторных проблем
(1972)
Ричард Карп
37 Система с разделением времени Unix
(1974)
Деннис Ритчи и Кеннет Томпсон
38 Протокол взаимодействия сетей с
коммутацией пакетов (1974)
Винтон Серф и Роберт Кан
39 Программирование с абстрактными типами
данных
(1974)
Барбара Лисков и Стивен Зиллес
40 Мифический человеко-месяц (1956)
Фредерик Ф. Брукс
41 Ethernet: распределенная коммутация
пакетов для локальных вычислительных сетей
(1976)
Роберт Меткалф и Дэвид Р. Роджерс
43 Новые направления в криптографии
(1976)
Уитфилд Диффи и Мартин Хеллман
43 Большой омикрон, большая омега и
большая тета (1976)
Дональд Э. Кнут
44 Социальные процессы и доказательства
теорем и правильности программ (1976)
Ричард ДеМилло, Ричард Липтон и Алан Перлис
45 Метод получения цифровых подписей
и криптосистемы с открытым ключом (1978)
Рональд Ривест, Ади Шамир и Лен Адлеман
46 Как разделить секрет (1979)
Ади Шамир
Литература
Предметный указатель