Bookcod · Рабочая редакция

Как развивались вычисления

Идеи и компромиссы, которые работают сегодня

Учебная программа по избранным идеям истории вычислений: представление, формализация, хранимая программа, информация, структура, взаимодействие, данные, сети и восстановление. Восемнадцать глав учат читать первичные свидетельства и осторожно применять их к современному проекту. Это ограниченный маршрут с упражнениями и законченным кейсом, а не исчерпывающая хронология дисциплины или независимо отредактированное исследование. Порядок глав учебный, а не строго хронологический: возвращения во времени помогают сопоставить механизмы; даты относятся к названным документам и событиям, а не автоматически к единоличному изобретению идеи.

• Различать первичное свидетельство, интерпретацию и современную аналогию.
• Прослеживать формальное вычисление и объяснять границы автоматической проверки.
• Сопоставлять представление данных, структуру программ и человеческую деятельность.
• Анализировать договор обмена, порядок событий и ограниченный режим отказа.
• Защитить решение для небольшой библиотеки источниками, расчётами и условиями пересмотра.

Первая глава бесплатна. Полное издание готовится к выпуску; продажи пока не открыты.