Учебнику присуждено первое место по разделу «Информатика» на конкурсе вузовских учебников Министерства образования Рос¬сийской Федерации в 1999 году. В пособии излагаются теоретические основы информатики, а также техника работы на персональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы сис¬тем искусственного интелекта и методы обработки данных на ЭВМ. Приведено большое число задач с примерами решения. Может использоваться для подготовки к экзаменам по инфор¬матике в вузах и школах, а также в системах и учереждениях дис¬танционного и дополнительного образования.
Содержание
ВВЕДЕНИЕ 2 Глава 1. ИНФОРМАЦИЯ И ПЕРСОНАЛЬНЫЕ ЭВМ 3 1.1. ВВЕДЕНИЕ В ИНФОРМАТИКУ 3 1.2. ПЕРСОНАЛЬНЫЕ КОМПЬЮТЕРЫ 6 1.3. РАБОТА НА ПЕРСОНАЛЬНЫХ ЭВМ 9 1.4. РЕДАКТИРОВАНИЕ ТЕКСТОВ НА ЭВМ 11 1.5. КОНТРОЛЬ ЗНАНИЙ НА ЭВМ 13 Глава 2. ЭЛЕМЕНТЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ 17 2.1. ОСНОВНЫЕ ВОЗМОЖНОСТИ ИНТЕРНЕТ 17 2.2. БАЗЫ ДАННЫХ НА ЭВМ 20 2.3. ВЫПОЛНЕНИЕ РАСЧЕТОВ НА КОМПЬЮТЕРАХ 23 2.4. ПОСТАНОВКА И РЕШЕНИЕ ЗАДАЧ 25 Глава 3. ОСНОВЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА 28 3.1. ЭЛЕМЕНТЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ 28 3.2. ОСНОВНЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ 30 3.3. ЭЛЕМЕНТЫ ЯЗЫКА ПРОЛОГ 33 3.4. БАЗЫ ЗНАНИЙ НА ЭВМ 37 3.5. ЗАКОНЫ ЛОГИЧЕСКОГО ВЫВОДА 39 Глава 4. ОСНОВЫ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ 45 4.1. ОСНОВНЫЕ СВОЙСТВА АЛГОРИТМОВ 45 4.2. БАЗОВЫЕ СРЕДСТВА ПРОГРАММИРОВАНИЯ 49 4.3. ОСНОВЫ СТРУКТУРНОГО ПРОГРАММИРОВАНИЯ 53 4.4. ОСНОВЫ БЕЗОШИБОЧНОГО ПРОГРАММИРОВАНИЯ 58 4.5. СРЕДСТВА ОБРАБОТКИ ДАННЫХ 61 Глава 5. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ 67 5.1. РЕШЕНИЕ ЗАДАЧ НА ЭВМ 67 5.2. АНАЛИЗ ПРАВИЛЬНОСТИ АЛГОРИТМОВ 74 5.3. РЕШЕНИЕ ПРИКЛАДНЫХ ЗАДАЧ 80 5.4. ЭЛЕМЕНТЫ ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ 88 5.5. РЕШЕНИЕ СЛОЖНЫХ ЗАДАЧ 95 Глава 6. ЭКЗАМЕНЫ ПО ИНФОРМАТИКЕ 103 6.1. ЭКЗАМЕНЫ И ЗАЧЕТЫ ПО ИНФОРМАТИКЕ 103 6.2. РЕШЕНИЕ ЭКЗАМЕНАЦИОННЫХ ЗАДАЧ 106 6.3. ПРОВЕРКА ПРОГРАММ НА ЭВМ 112 6.4. ОЛИМПИАДНЫЕ ЗАДАЧИ ПО ИНФОРМАТИКЕ 116 6.5. ТЕХНОЛОГИЯ ДИСТАНЦИОННОГО ОБУЧЕНИЯ 127 Приложение 130 ИНТЕРПРЕТАТОР ЯЗЫКА ПРОЛОГ 130 1. НАЗНАЧЕНИЕ ИНТЕРПРЕТАТОРА ПРОЛОГА 130 2. ЗАПУСК ИНТЕРПРЕТАТОРА ПРОЛОГА 130 3. ДИАЛОГ С ПРОГРАММАМИ НА ПРОЛОГЕ 131 4. ВВОД И РЕДАКТИРОВАНИЕ ПРОГРАММ 131 5. ОПЕРАЦИИ С ФАЙЛАМИ 132 6. КРАТКОЕ ОПИСАНИЕ ЯЗЫКА ПРОЛОГ 133 6.1. Базовые понятия языка Пролог 133 6.2. Описания фактов 134 6.3. Правила записи вопросов 135 6.4. Запись правил и процедур 135 6.5. Встроенные предикаты Пролога 136 Толковый словарь 138 Список рекомендуемой литературы 142
Литература
1. Государственный образовательный стандарт высшего профес¬сионального образования. - М.: Госкомвуз России, 1995. 2. Каймин В.А. Информатика. Учебник для вузув. - М.: «Высшее образование», 1998. 3. Информатика. Учебник/Под ред. Н.В. Макаровой. - М.: Фи¬нансы и статистика, 1997. 4. Каймин В.А. Информатика//Программы авторских курсов по гуманитарным и социаль-но-экономическим дисциплинам для высшей школы. - М.: Гскомвуз, 1996. 5. Каймин В.А. Информатика и дистанционное обучение. - М.: Научная книга, 1996. 6. Каймин В.А. Информатика. Учебник для дистанционного обу¬чения. М., МЭСИ, 1999. 7. Дистанционное образование в России: состояние и перспекти¬вы. - М.: МЭСИ, 1998. 8. Евреинов Э.В., Каймин В.А. Информатика и дистанционное об¬разование. - М., 1998. 9. Лобачев С.Л., Солдаткин В.И. Дистанционные образовательные технологии: информационный аспект. - М.: МЭСИ, 1998. 10. Информатика. Энциклопедический словарь для начинающих/ Сост. Д.А. Поспелов. - М.: «Просвещение», 1994. 11. Глушков В.М. Основы безбумажной информатики. - М.: На¬ука, 1982. 12. Брой М. Информатика. Основополагающее введение. - М.: ДИАЛОГ-МИФИ, 1998. 13. Байков В. ИНТЕРНЕТ: от E-MAIL к WWW в примерах. -СПб.: BHV, 1996. 14. Артамонов Б.Н. и др. Основы современных компьютерных технологий. - Спб.: КОРОНА, 1998. 15. Фигурнов Э.В. IBM PC для пользователя. - М.: ИНФРА-М, 1999. 16. Ершов А.П. и др. Основы информатики и вычислительной техники. Пробный учебник для 10-11-х классов. - М.: Просвеще¬ние, 1985. 17. Каймии В.А. и др. Основы информатики и вычислительной техники. Пробный учебник для 10-11-ых классов. - М.: Просвеще¬ние, 1989. 18. Гейн А.Г. и др. Основы информатики и вычислительной тех¬ники. Пробный учебник для 10-11 классов. - М.: Просвещение, 1996. 19. Семакин И.Г. и др. Информатика. Учебник для 7-9 классов. - М.: БИНОМ, 1998. 20. Каймин В.А. и др. Информатика. Пособие для поступающих в вузы. - М.: Бридж, 1994. 21. Шафрин Ю.А. Основы компьютерной технологии. Учебное пособие для учащихся старших классов. - М.: ABF, 1996. 22. Громов Г.Р. Очерки информационной технологии. - М.: Инфоарт, 1993. 22. Каймин В.А. Основы компьютерной технологии. - М.: Фи¬нансы и статистика, 1992. 23. Лихачева Г.Н. Информационные технологии в экономике. - М.: МЭСИ, 1999. 24. Кураков Л.П., Смирнов С.Н. Информация как объект правовой защиты. М., Гелиос, 1998. 25. Крылов В.В. Информационные компьютерные преступления. М., ИНФРА-М, 1997. 26. Терещенко Л.К. и др. Защита прав создателей и пользователей программ для ЭВМ и баз данных. М.: МЮ РФ, 1996.