- •Часть I
- •Рецензенты:
- •Оглавление
- •Глава I. История вычислительной техники и архитектуры компьютеров
- •§ 1. Доэлектронная эра истории компьютеров (до XVIII в.)
- •§ 2. Доэлектронная эра истории компьютеров (XVIII и XIX вв.)
- •§ 3. Аналоговые компьютеры
- •§4. Почти первое поколение компьютеров
- •§ 5. История создания компьютеров в России (до 1948 г.)
- •§ 6. История создания компьютеров в России (1948–1954 гг.)
- •Глава II. История развития теории алгоритмов Введение
- •§ 7. Вычислительная модель Поста
- •§ 8. Вычислительная модель Тьюринга. Машина фон Неймана
- •§ 9. Вычислительные модели Маркова и Клини
- •§ 10. Проблемы разрешимости и перечислимости
- •§ 12. Элементы теории сложности. Мр-проблема
- •Глава III. История систем искусственного интеллекта
- •§ 13. Представление знаний в интеллектуальных системах
- •§14. Экспертные системы
- •167982. Сыктывкар, ул. Коммунистическая, 25
Министерство образования и науки Российской Федерации Коми государственный педагогический институт
В.П. Одинец
Зарисовки по истории компьютерных наук
Учебное пособие (в трех частях)
Часть I
Сыктывкар 2011
УДК 004:93
ББК 32.975 О42
Печатается по решению редакционно-издательского совета Коми государственного педагогического института
от 21.12. 2010 г.
Рецензенты:
Флегонтое А.В. - профессор, д-р физ.-мат. наук, зав. кафедрой
информационных систем и программного обеспечения РГПУ
им. А.И. Герцена (Санкт-Петербург), действительный член Академии Информатизации Образования
Фокин P.P. - профессор, д-р пед. наук, зав. кафедрой
информатики СПбГУСЭ (Санкт-Петербург),
действительный член Академии Информатизации Образования
Одинец, В.П.
042 Зарисовки по истории компьютерных наук : учебное пособие : в
3 ч. / В.П.Одинец. - Сыктывкар: Коми пединститут, 2011. - Ч. I. 200 с.
ISBN 978-5-87661-188-8
ISBN 978-5-87661-189-5 (Ч. 1)
Материал книги основан на лекциях, прочитанных автором в разные годы частью в Зеленогурском университете (Польша), частью в Сыктывкарском государственном университете.
В трёх главах дан обзор истории вычислительной техники и архитектуры компьютеров, истории развития теории алгоритмов, а также истории систем искусственного интеллекта с древних времён до середины XX века.
Книга рассчитана на студентов, преподавателей школ, колледжей и вузов, а также всех, интересующихся информатикой и её историей.
УДК 004:93 ББК 32.975
ISBN 978-5-87661-188-8 © Одинец В.П., 2011
ISBN 978-5-87661-189-5 (Ч. 1) © Коми государственный педаго-
гический институт, 2011
Оглавление
Предисловие……………………………………………………………...4
Глава 1. История вычислительной техники и архитектуры компьютеров
§1.Доэлектронная эра истории компьютеров (до XVIII в.)…………...8 §2.Доэлектронная эра истории компьютеров (XVIII – XIX вв.)…….13 §3. Аналоговые компьютеры…………………………………………...23 §4. Почти первое поколение компьютеров…………………………....30 §5. История создания компьютеров в России (до 1948 г.)…………...44 §6.История создания компьютеров в России (1948 – 1954 гг.)……..54 Заключительные замечания по периодизации развития компьютерной техники……………………………………………..…..65
Глава II. История развития теории алгоритмов
Введение………………………………………………………………....68 §7.Вычислительная модель Поста……………………………………..70 §8.Вычислительная модель Тьюринга. Машина фон Неймана….…..80 §9. Вычислительные модели Маркова и Клини………………………89 §10.Проблемы разрешимости и перечислимости…………………...100 §11.X-я проблема Гильберта………………………………………..…111 §12. Элементы теории сложности. NP – проблема……………….…121
Глава III. История систем искусственного интеллекта
Введение………………………………………………………………..127 §13. Представление знаний в интеллектуальных системах…….…..129 §14. Экспертные системы…………………………………………..…145 Заключение (к главе III) ………………………………………………161
Библиографический список…………………………………………163 Именной указатель…………………………………………………...172 Предметный указатель……………………………………………....193
3
Предисловие
Прежде чем вести речь об истории компьютерных наук, следует определить, что входит в их перечень. По американской классификации «Computer Science» состоит из следующих разделов:
Вычислительная техника и архитектура компьютера.
Алгоритмы.
Искусственный интеллект.
Языки программирования.
Базы данных и информационно-поисковых систем.
Операционные системы и структуры данных.
Системы взаимодействия человека и компьютера.
Компьютерные сети (включая Internet).
Компьютерная графика.
Иногда в число компьютерных наук включают и программное обеспечение.
Напомним, что целью обучения компьютерным наукам является выявление и понимание отношения между компьютерными системами и прикладными приложениями.
Эта книга возникла на основе докладов и лекций, прочитанных в Зеленогурском университете (Польша) в разные годы (2003–2010), и курса лекций, прочитанного в Сыктывкарском государственном университете в 2010/11 учебном году, а также материалов к учебному пособию по теории алгоритмов, изданному (совместно с М.В. Поспеловым) в 2006 г.
Снятие грифа секретности со многих материалов по созданию компьютеров в 30–50-е годы XX века (в Германии, США,
4
Великобритании и СССР) существенно обогатило наше видение истории компьютерных наук.
Не углубляясь в чисто технические детали (хотя и признавая их важность), основное внимание в книге сосредоточено на истории появления идей и методов. При этом даются необходимые пояснения по разным разделам математики и информатики (прежде всего по теории чисел и математической логике).
Наша книга не претендует на полноту охвата заявленных трёх тем: в первой главе, названной «История вычислительной техники и архитектура компьютеров», нет речи об истории организации компьютерных систем (процессорах, основной памяти, вспомогательной памяти, системах ввода-вывода), нет речи и об истории цифрового логического уровня (вентилях и булевой алгебре, основных цифровых логических схемах, примерах центральных процессоров и шин), об истории уровней микроархитектуры, уровней архитектуры набора команд, их типах, истории уровней операционной системы, параллельных компьютерных архитектурах. Это правда, но не вся правда, так как рассказывая, например, о К. Шенноне или В.И. Шестакове, Дж. фон Неймане или И.С. Бруке, А. Тьюринге или С.А. Лебедеве, мы касаемся многого из перечисленного выше.
Во второй главе, посвящённой истории теории алгоритмов, нет речи ни о случайных алгоритмах, ни об алгоритмах с оракулом, ни о главных нумерациях, ни конкретных алгоритмов, например, сортировки, жадных алгоритмов, алгоритма Краскала, алгоритма Флойда-Уоршелла, алгоритма Дейкстры.
Впрочем, об истории этих алгоритмов можно прочитать и в учебниках по теории алгоритмов, в частности, в книгах Дональда
5
Кнута (Donald Ervin Knuth: 1938) [134–137], или в учебниках по дискретной математике, например, в [139] И.В. Романовского.
Наконец, в главе по истории систем искусственного интеллекта (ИИ) нами не затрагиваются модели и методы решения задач ИИ, планирование задач ИИ, особенности систем ИИ в робототехнике, включая вопросы систем машинного зрения, голосовых систем, дактильных систем, проблем машинного перевода и др. Эти материалы, бесспорно, интересны и могут стать предметом обсуждения на семинарах по истории ИИ.
Поскольку данное пособие охватывает только I часть истории компьютерных наук (а предполагается издание ещё двух частей), то ко многим творцам этих наук будем неоднократно возвращаться.
Заметим также, что изучение компьютерных наук (в отличие от пользования компьютером) предполагает знание математической логики, теории графов, дискретной математики, теории чисел, математического анализа, элементов высшей геометрии и алгебры. Хотя настоящая книга не может служить заменой учебников, тем не менее, считаем полезным давать в части параграфов задачи для самостоятельной работы по тематике данного параграфа.
В конце книги даётся список основной литературы. (Дополнительная литература представлена в подстрочных примечаниях.) Разумеется, в век Интернета каждый читатель может пополнить данный текст новыми материалами. Автор будет только рад этому.
В конце книги даны именной и предметный указатели. Для удобства читателей именной указатель снабжён датами жизни.
6
Обо всех замечаниях и предложениях можно сообщить автору по e-mail: W.Odyniec@mail.ru.
В заключение автор хотел бы выразить свою признательность рецензентам – профессорам А.В. Флегонтову и Р.Р. Фокину за ценные замечания, учтённые автором; М.Н. Истоминой за творческий набор первой версии книги. Автор хотел бы также поблагодарить доцента М.В. Поспелова, прочитавшего первую версию книги и способствовавшего её улучшению.