Информатика

       

Информатика

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

Основные возможности Интернет
Базы данных на ЭВМ
Выполнение расчетов на компьютерах
Постановка и решение задач



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

Основные свойства алгоритмов
Базовые средства программирования
Основы безошибочного программирования
Средства обработки данных
Решение задач на ЭВМ
Анализ правильности алгоритмов

Решение прикладных задач
Элементы доказательного программирования
Решение сложных задач
Экзамены и зачеты по информатике

Проверка программ на ЭВМ
Олимпиадные задачи по информатике

Информатика

Технология дистанционного обучения
Назначение интерпретатора Пролога
Запуск интерпретатора Пролога
Диалог с программами на Прологе
Ввод и редактирование программ
Операции с файлами
Базовые понятия языка Пролог
Описания фактов

Правила записи вопросов
Запись правил и процедур
Встроенные предикаты Пролога
Толковый словарь
Список рекомендуемой литературы

Содержание раздела