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

Description

В книге собрано 46 классических статей по информатике, которые прочертили карту развития этой науки. Охвачены все аспекты компьютерных наук; особое внимание уделяется периоду с 1936 по 1980 год, но рассматриваются и важные ранние работы. Знакомя читателей с работами мыслителей от Аристотеля и Лейбница до Алана Тьюринга и Норберта Винера, книга документирует открытия и изобретения, приведшие к созданию современных цифровых технологий. Каждую статью сопровождает краткий очерк, где представлен исторический и интеллектуальный контекст, за авторством Гарри Льюиса, редактора издания. Книга будет полезна всем, кто интересуется информатикой и истоками этого увлекательного мира. От издательства Предисловие Введение: корни и рост информатики 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) Ади Шамир Литература Предметный указатель