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

Содержание книги "Идеи, определившие облик информатики : классические статьи по компьютерным наукам"

От издательства
Предисловие
Введение: корни и рост информатики
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)
42. Уитфилд Диффи и Мартин Хеллман. Новые направления в криптографии (1976)
43. Дональд Э. Кнут. Большой омикрон, большая омега и большая тета (1976)
44. Ричард ДеМилло, Ричард Липтон и Алан Перлис. Социальные процессы и доказательства теорем и правильности программ (1976)
45. Рональд Ривест, Ади Шамир и Лен Адлеман. Метод получения цифровых подписей и криптосистемы с открытым ключом (1978)
46. Ади Шамир. Как разделить секрет (1979)
Литература
Предметный указатель