Введение
 
 Глава 1. ИНФОРМАЦИЯ И ПЕРСОНАЛЬНЫЕ ЭВМ
 

1.1. Введение в информатику
 1.2. Персональные компьютеры
 1.3. Работа на персональных ЭВМ
 1.4. Редактирование текстов на ЭВМ
 1.5. Контроль знаний на ЭВМ.
 

Глава 2. ЭЛЕМЕНТЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
 
 2.1. Основные возможности Интернет
 2.2. Базы данных на ЭВМ 
 2.3. Выполнение расчетов на компьютерах
 2.4. Постановка и решение задач
 

Глава 3. ОСНОВЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
 

3.1. Элементы математической логики.
 3.2. Основные логические операции
 3.3. Элементы языка Пролог
 3.4. Базы знаний на ЭВМ.
 3.5. Законы логического вывода

 Глава 4. ОСНОВЫ АЛГОРИТМИЗАЦИИ И ПРОГРАММИРОВАНИЯ

 4.1. Основные свойства алгоритмов
 4.2. Базовые средства программирования
 4.3. Основы структурного программирования
 4.4. Основы безошибочного программирования
 4.5. Средства обработки данных

 Глава 5. ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ
 
 5.1. Решение задач на ЭВМ.
 5.2. Анализ правильности алгоритмов
 5.3. Решение прикладных задач
 5.4. Элементы доказательного программирования
 5.5. Решение сложных задач

 Глава 6. ЭКЗАМЕНЫ ПО ИНФОРМАТИКЕ

 
 6.1. Экзамены и зачеты по информатике
 6.2. Решение экзаменационных задач
 6.3. Проверка программ на ЭВМ
 6.4. Олимпиадные задачи по информатике
 6.5. Технология дистанционного обучения
 

Приложение

 ИНТЕРПРЕТАТОР ЯЗЫКА ПРОЛОГ
 
 1. Назначение интерпретатора Пролога
 
 2. Запуск интерпретатора Пролога
 
 3. Диалог с программами на Прологе
 
 4. Ввод и редактирование программ
 
 5. Операции с файлами
 
 6. Краткое описание языка Пролог
 
 6.1. Базовые понятия языка Пролог
 
 6.2. Описания фактов
 
 6.3. Правила записи вопросов
 
 6.4. Запись правил и процедур
 
 6.5. Встроенные предикаты Пролога
 
 Толковый словарь
 
 Список рекомендуемой литературы
 
 
 

<