Учебник. - М.: Инфра-М, 2000. -232 с.
Учебнику присуждено первое место по разделу «Информатика» на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 году.
В пособии излагаются теоретические основы информатики, а также техника работы на пер-сональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интелекта и методы обработки данных на Эвм. Приведено большое число задач с примерами решения.
Может использоваться для подготовки к экзаменам по информатике в вузах и школах, а также в системах и учереждениях дистанционного и дополнительного образования.
Введение.
Информация и персональные эвм.
Введение в информатику.
Персональные компьютеры.
Работа на персональных эвм.
Редактирование текстов на эвм.
Контроль знаний на эвм.
Элементы информационных технологий.
Основные возможности интернет.
Базы данных на эвм.
Выполнение расчетов на компьютерах.
Постановка и решение задач.
Основы искусственного интеллекта.
Элементы математической логики.
Основные логические операции.
Элементы языка пролог.
Базы знаний на эвм.
Законы логического вывода.
Основы алгоритмизации и программирования.
Основные свойства алгоритмов.
Базовые средства программирования.
Основы структурного программирования.
Основы безошибочного программирования.
Средства обработки данных.
Технология решения задач.
Решение задач на эвм.
Анализ правильности алгоритмов.
Решение прикладных задач.
Элементы доказательного программирования.
Решение сложных задач.
Экзамены по информатике.
Экзамены и зачеты по информатике.
Решение экзаменационных задач.
Проверка программ на эвм.
Олимпиадные задачи по информатике.
Технология дистанционного обучения.
Приложение.
Интерпретатор языка пролог.
Назначение интерпретатора пролога.
Запуск интерпретатора пролога.
Диалог с программами на прологе.
Ввод и редактирование программ.
Операции с файлами.
Краткое описание языка пролог.
Базовые понятия языка Пролог.
Описания фактов.
Правила записи вопросов.
Запись правил и процедур.
Встроенные предикаты Пролога.
Толковый словарь.
Список рекомендуемой литературы.
Учебнику присуждено первое место по разделу «Информатика» на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 году.
В пособии излагаются теоретические основы информатики, а также техника работы на пер-сональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интелекта и методы обработки данных на Эвм. Приведено большое число задач с примерами решения.
Может использоваться для подготовки к экзаменам по информатике в вузах и школах, а также в системах и учереждениях дистанционного и дополнительного образования.
Введение.
Информация и персональные эвм.
Введение в информатику.
Персональные компьютеры.
Работа на персональных эвм.
Редактирование текстов на эвм.
Контроль знаний на эвм.
Элементы информационных технологий.
Основные возможности интернет.
Базы данных на эвм.
Выполнение расчетов на компьютерах.
Постановка и решение задач.
Основы искусственного интеллекта.
Элементы математической логики.
Основные логические операции.
Элементы языка пролог.
Базы знаний на эвм.
Законы логического вывода.
Основы алгоритмизации и программирования.
Основные свойства алгоритмов.
Базовые средства программирования.
Основы структурного программирования.
Основы безошибочного программирования.
Средства обработки данных.
Технология решения задач.
Решение задач на эвм.
Анализ правильности алгоритмов.
Решение прикладных задач.
Элементы доказательного программирования.
Решение сложных задач.
Экзамены по информатике.
Экзамены и зачеты по информатике.
Решение экзаменационных задач.
Проверка программ на эвм.
Олимпиадные задачи по информатике.
Технология дистанционного обучения.
Приложение.
Интерпретатор языка пролог.
Назначение интерпретатора пролога.
Запуск интерпретатора пролога.
Диалог с программами на прологе.
Ввод и редактирование программ.
Операции с файлами.
Краткое описание языка пролог.
Базовые понятия языка Пролог.
Описания фактов.
Правила записи вопросов.
Запись правил и процедур.
Встроенные предикаты Пролога.
Толковый словарь.
Список рекомендуемой литературы.