Сборник классических статей. Листаю мельком.

1) Аристотель
ок спасибо

2) Истинный метод - Лейбниц 1677
Лейбниц рассматривал логику как приложение к философии о том что весь мир это механизм. Там описания двоичной системы и т.п. Читается конечно так то хрен проссыш

3) Набросок Аналитической машины - Менабреа 1843
Описания машины Бэббиджа на основе опыта программирования Лавлейс (она кстати дочь Байрона). Описывается компиляция, циклы и прочее

4) Исследование законов мышления, на которых основаны математические теории логики и вероятностей - Буль 1854
Описания булевой логики, и, или, верно, неверно, классы, множества. Все это попытки представить человеческий мозг как машину.

5) Математические проблемы - Гильберт 1900
23 нерешенных проблемы ок

6) О вычислимых числах с приложением к проблеме разрешения - Тьюринг 1936
Основы алгоритмики. Тьюринг кстати называл словом "компьютер" программиста.

7) Предлагаемая автоматическая вычислительная машина - Эйкен 1937
Описания первого компьютера IBM. В нем кстати была почти тысяча километров проводов одних.

8) Символический анализ релейных и переключательных схем - Шеннон
Описания первых электрических схем, компилятора, перевода машинной логики в электрические сигналы

9) Логическое исчисление идей, относящихся к нервной активности - Мак-Каллок, Питтс
Модель мозга как электрической системы.

10) Первая редакция отчета о EDVAC - Нейман 1945
Одноименная архитектура

11) Как мы можем мыслить - Буш 1945
Футурологическая статья о том, как компьютеры могут быть полезны в будущем. Это кстати первая статья из списка, которая минимально читабельна, до нее там были сплошняком математически-философские выкладки для специалистов. Интересно, что довольно известна статья ibm семидесятых годов, где они не понимают, зачем вообще нужен персональный компьютер (тут надо заметить, что ibm вообще была супер консервативной корпорацией и до этого всю историю работала на бизнес-клиентов) но совершенно никому не известна статья 1945 года, где автор как раз убеждает, что будущие компьютеры станут супер полезными именно в быту.

12) Математическая теория связи - Шеннон 1948
Статья по теории информации, собственно основывающая эту область математики. Вводится понятие "бит" например.

13) Коды с обнаружением и исправлением ошибок - Хэмминг 1950
Верификация данных

14) Вычислительные машины и разум - Тьюринг
Тест Тьюринга. Кстати довольно сомнительный, к примеру кот его не пройдет, то есть следовательно - неразумен.

15) Наилучший метод конструирования автоматической вычислительной машины - Уилкс 1951
Описание прото языка программирования, позволяющего модифицировать программу без залезания в ее железо

16) Обучение компьютера - Хоппер 1952
Автор считается изобретателем термина "баг", но почти точно изобрела его не она, а только впервые упомянула в тексте. В статье первые описания работы компилятора и размышления о грядущей профессии программиста.

17) О кратчайшем остовном поддереве графа и о задаче коммивояжера - Брускал-младший 1956
Одно из первых описаний работы многоэтапного алгоритма

18) Перцептрон: вероятностная модель хранения и организации информации - Розенблатт 1958
Первые попытки обучения искусственного интеллекта по распознаванию образов

19) Некоторые этические и технические последствия автоматизации - Винер 1960
Первые мысли о кибернетике, и особенно об "обратной связи" то есть о том, как компьютеры могут повлиять на общество.

20) Симбиоз человека и машины - Ликлайдер 1960
Концепция того, как деятельность компьютера может наилучшим образом поддерживать работу и быт человека.

21) Рекурсивные функции символических выражений и их вычисление машиной - Маккарти 1960
Описание одного из первых языков программирования Lisp

22) Усиление человеческого интеллекта: концептуальная модель - Энгельбарт 1962
Размышления на тему идеальных интерфейсов, в частности манипулятора мышь и оконных оболочек

23) Экспериментальная система с разделением времени - Корбато, Дагетт, Дейли 1962
Собственно сабж. Кто не знает, системы с разделением времени это когда пользователи работают на множестве терминалов, и их всех обрабатывает единый сервер, таким образом чтобы никогда не простаивать

24) Sketchpad - Сазерленд 1963
Дизайн первой чертежной программы, планшета и стайлуса

25) Упаковка большего числа компонентов на интегральной схеме - Мур 1965
Закон Мура, концепция микропроцессоров

26) Решение задачи параллельного управления программой - Дейкстра 1965
Описание проблем алгоритмики и концепт многозадачности

27) Элиза – компьютерная программа для изучения взаимодействия между человеком и машиной на естественном языке - Вейценбаум 1966
Дизайн первого чатбота

28) Структура системы мультипрограммирования THE - Дейкстра 1968
Примерно тоже самое что п26

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
И еще открытый ключ

Вобщем, подборка интересная. Сами приведенные статьи читать невозможно, это литература для узких специалистов. Комментарии к статьям неплохие. 95% книги нечитабельна, остальные 5% ок.