Содержание
Введение 1
Глава 1. ИНФОРМАЦИЯ И ПЕРСОНАЛЬНОЕ ЭВМ 7
1.1. Введение в информатику 7
1.2. Персональные компьютеры 12
1.3. Работа на персональных ЭВМ 15
1.4. Редактирование текстов на ЭВМ 19
1.5. Обучение с помощью ЭВМ 22
Глава 2. ЭЛЕМЕНТЫ ИНТЕРНЕТ ТЕХНОЛОГИЙ 28
2.1. Работа в сети Интернет 28
2.2. Поиск информации в Интернете 32
2.3. Электронная почта 33
2.4. Создание сайтов в Интернете 38
2.5. Электронная коммерция 42
Глава 3. ЭЛЕМЕНТЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ 46
3.1. Базы данных на ЭВМ 46
3.2. Элементы математической логики 50
3.3. Принципы логического вывода 54
3.4. Базы знаний на ЭВМ 57
3.5. Законы логического вывода 61
Глава 4. РЕШЕНИЕ ЗАДАЧ НА ЭВМ 68
4.1. Выполнение расчетов на ЭВМ 68
4.2. Постановка и решение задач 73
4.3. Основные свойства алгоритмов 75
4.4. Базовые средства программирования 79
4.5. Основы структурного программирования 83
4.6. Основы безошибочного программирования 89
4.7. Средства обработки данных 92
Глава 5. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ 99
5.1. Решение задач на ЭВМ 99
5.2. Анализ правильности алгоритмов 106
5.3. Решение прикладных задач 113
5.4. Элементы доказательного программирования 121
5.5. Решение сложных задач 129
Глава 6. ЭКЗАМЕНЫ ПО ИНФОРМАТИКЕ 139
6.1. Экзамены и зачеты по информатике 139
6.2. Решение экзаменационных задач 141
6.3. Проверка программ на ЭВМ 148
6.4. Олимпиадные задачи по информатике 151
6.5. Технология дистанционного обучения 162
ПРИЛОЖЕНИЕ 165
ИНТЕПРЕТАТОР ЯЗЫКА ПРОЛОГ 165
1. Назначение интерпретатора Пролога 165
2. Запуск интерпретатора Пролога 165
3. Диалог с программами на Прологе 166
4. Ввод и редактирование программ 166
5. Операции с файлами 167
6. Краткое описание языка Пролог 168
Толковый словарь 174
Список рекомендуемой литературы 178