- •ПРЕДИСЛОВИЕ
- •ВВЕДЕНИЕ
- •ЧАСТЬ ПЕРВАЯ
- •ГЛАВА 1 ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ
- •ВВЕДЕНИЕ
- •1.1. ИСТОРИЯ РАЗВИТИЯ ИНФОРМАТИКИ
- •1.2. ИНФОРМАТИКА КАК ЕДИНСТВО НАУКИ И ТЕХНОЛОГИИ
- •1.3. СТРУКТУРА СОВРЕМЕННОЙ ИНФОРМАТИКИ
- •1.4. МЕСТО ИНФОРМАТИКИ В СИСТЕМЕ НАУК
- •1.5. СОЦИАЛЬНЫЕ АСПЕКТЫ ИНФОРМАТИКИ
- •1.6. ПРАВОВЫЕ АСПЕКТЫ ИНФОРМАТИКИ
- •1.7. ЭТИЧЕСКИЕ АСПЕКТЫ ИНФОРМАТИКИ
- •Контрольные вопросы
- •§ 2. ИНФОРМАЦИЯ, ЕЕ ВИДЫ И СВОЙСТВА
- •2.1. РАЗЛИЧНЫЕ УРОВНИ ПРЕДСТАВЛЕНИЙ ОБ ИНФОРМАЦИИ
- •2.2. НЕПРЕРЫВНАЯ И ДИСКРЕТНАЯ ИНФОРМАЦИЯ
- •2.3. ЕДИНИЦЫ КОЛИЧЕСТВА ИНФОРМАЦИИ: ВЕРОЯТНОСТНЫЙ И ОБЪЕМНЫЙ ПОДХОДЫ
- •2.4. ИНФОРМАЦИЯ: БОЛЕЕ ШИРОКИЙ ВЗГЛЯД
- •2.5. ИНФОРМАЦИЯ И ФИЗИЧЕСКИЙ МИР
- •§ 3. СИСТЕМЫ СЧИСЛЕНИЯ
- •3.1. ПОЗИЦИОННЫЕ СИСТЕМЫ СЧИСЛЕНИЯ
- •3.2. ДВОИЧНАЯ СИСТЕМА СЧИСЛЕНИЯ
- •3.3. ВОСЬМЕРИЧНАЯ И ШЕСТНАДЦАТИРИЧНАЯ СИСТЕМЫ СЧИСЛЕНИЯ
- •§ 4. КОДИРОВАНИЕ ИНФОРМАЦИИ.
- •4.1. АБСТРАКТНЫЙ АЛФАВИТ
- •4.2. КОДИРОВАНИЕ И ДЕКОДИРОВАНИЕ
- •4.3. ПОНЯТИЕ О ТЕОРЕМАХ ШЕННОНА
- •4.4. МЕЖДУНАРОДНЫЕ СИСТЕМЫ БАЙТОВОГО КОДИРОВАНИЯ
- •§ 5. ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ
- •5.1. ОСНОВНЫЕ ПОНЯТИЯ
- •5.2. ПРЕДСТАВЛЕНИЕ ГРАФОВ
- •§ 6. АЛГОРИТМ И ЕГО СВОЙСТВА
- •6.1. РАЗЛИЧНЫЕ ПОДХОДЫ К ПОНЯТИЮ «АЛГОРИТМ»
- •6.2. ПОНЯТИЕ ИСПОЛНИТЕЛЯ АЛГОРИТМА
- •6.3. ГРАФИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ АЛГОРИТМОВ
- •6.4. СВОЙСТВА АЛГОРИТМОВ
- •6.5. ПОНЯТИЕ АЛГОРИТМИЧЕСКОГО ЯЗЫКА
- •Контрольные вопросы
- •§7. ФОРМАЛИЗАЦИЯ ПОНЯТИЯ «АЛГОРИТМ»
- •7.1. ПОСТАНОВКА ПРОБЛЕМЫ
- •7.2. МАШИНА ПОСТА
- •73. МАШИНА ТЬЮРИНГА
- •7.4. НОРМАЛЬНЫЕ АЛГОРИТМЫ МАРКОВА
- •7.5. РЕКУРСИВНЫЕ ФУНКЦИИ
- •Контрольные вопросы и задания
- •8.1. ОПЕРАЦИОНАЛЬНЫЙ ПОДХОД
- •8.2. СТРУКТУРНЫЙ ПОДХОД
- •8.3. НОВЕЙШИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ ПРОГРАММ ДЛЯ ЭВМ
- •Контрольные вопросы и задания
- •§ 9. СТРУКТУРЫ ДАННЫХ
- •9.1. ДАННЫЕ И ИХ ОБРАБОТКА
- •9.2. ПРОСТЫЕ (НЕСТРУКТУРИРОВАННЫЕ) ТИПЫ ДАННЫХ
- •9.3. СТРУКТУРИРОВАННЫЕ ТИПЫ ДАННЫХ
- •Контрольные вопросы и задания
- •§ 10. ПОНЯТИЕ ОБ ИНФОРМАЦИОННОМ МОДЕЛИРОВАНИИ
- •10.1. МОДЕЛИРОВАНИЕ КАК МЕТОД РЕШЕНИЯ ПРИКЛАДНЫХ ЗАДАЧ
- •10.2. ОСНОВНЫЕ ПОНЯТИЯ ИНФОРМАЦИОННОГО МОДЕЛИРОВАНИЯ
- •10.3. СВЯЗИ МЕЖДУ ОБЪЕКТАМИ
- •Контрольные вопросы и задания
- •§ 11. НЕКОТОРЫЕ КИБЕРНЕТИЧЕСКИЕ АСПЕКТЫ ИНФОРМАТИКИ
- •11.1. ПРЕДМЕТ КИБЕРНЕТИКИ
- •11.2. УПРАВЛЯЕМЫЕ СИСТЕМЫ
- •11.3. ФУНКЦИИ ЧЕЛОВЕКА И МАШИНЫ В СИСТЕМАХ УПРАВЛЕНИЯ
- •Контрольные вопросы и задания
- •§ 12. ПОНЯТИЕ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА
- •12.3. МОДЕЛИРОВАНИЕ РАССУЖДЕНИЙ
- •12.4. ИНТЕЛЛЕКТУАЛЬНЫЙ ИНТЕРФЕЙС ИНФОРМАЦИОННОЙ СИСТЕМЫ
- •12.5. СТРУКТУРА СОВРЕМЕННОЙ СИСТЕМЫ РЕШЕНИЯ ПРИКЛАДНЫХ ЗАДАЧ
- •Контрольные вопросы и задания
- •Дополнительная литература к главе 1
- •ГЛАВА 2 ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭВМ
- •ВВЕДЕНИЕ
- •§ 1. ОПЕРАЦИОННЫЕ СИСТЕМЫ
- •1.1. НАЗНАЧЕНИЕ И ОСНОВНЫЕ ФУНКЦИИ ОПЕРАЦИОННЫХ СИСТЕМ
- •1.2. ПОНЯТИЕ ФАЙЛОВОЙ СИСТЕМЫ
- •1.3. ОПЕРАЦИОННЫЕ СИСТЕМЫ ДЛЯ КОМПЬЮТЕРОВ ТИПА IBM PC
- •1.4. ОБОЛОЧКИ ОПЕРАЦИОННЫХ СИСТЕМ
- •Контрольные вопросы и задания
- •§ 2. ПОНЯТИЕ О СИСТЕМЕ ПРОГРАММИРОВАНИЯ
- •2.1. ОСНОВНЫЕ ФУНКЦИИ И КОМПОНЕНТЫ
- •2.2. ТРАНСЛЯЦИЯ ПРОГРАММ И СОПУТСТВУЮЩИЕ ПРОЦЕССЫ
- •Контрольные вопросы
- •§3. ПРИКЛАДНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ОБЩЕГО НАЗНАЧЕНИЯ
- •3.1. КЛАССИФИКАЦИЯ
- •3.2. ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА ОБЩЕГО НАЗНАЧЕНИЯ
- •3.3. ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА СПЕЦИАЛЬНОГО НАЗНАЧЕНИЯ
- •3.4. ПРОГРАММНЫЕ СРЕДСТВА ПРОФЕССИОНАЛЬНОГО УРОВНЯ
- •3.5. ОРГАНИЗАЦИЯ «МЕНЮ» В ПРОГРАММНЫХ СИСТЕМАХ
- •Контрольные вопросы ч задания
- •§ 4. СИСТЕМЫ ОБРАБОТКИ ТЕКСТОВ
- •4.1. ЭЛЕМЕНТЫ ИЗДАТЕЛЬСКОГО ДЕЛА
- •4.2. ТЕКСТОВЫЕ РЕДАКТОРЫ
- •4.3. ИЗДАТЕЛЬСКИЕ СИСТЕМЫ
- •§ 5. СИСТЕМЫ КОМПЬЮТЕРНОЙ ГРАФИКИ
- •5.1. ПРИНЦИПЫ ФОРМИРОВАНИЯ ИЗОБРАЖЕНИЙ НА ЭКРАНЕ
- •5.2. ИЗОБРАЗИТЕЛЬНАЯ ГРАФИКА
- •5.3. ГРАФИЧЕСКИЕ РЕДАКТОРЫ
- •5.4. ДЕЛОВАЯ ГРАФИКА
- •5.5. ИНЖЕНЕРНАЯ ГРАФИКА
- •5.6. НАУЧНАЯ ГРАФИКА
- •Контрольные вопросы и упражнения
- •§ 6. БАЗЫ ДАННЫХ И СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ
- •6.1. ПОНЯТИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ
- •6.2. ВИДЫ СТРУКТУР ДАННЫХ
- •6.3. ВИДЫ БАЗ ДАННЫХ
- •6.4. СОСТАВ И ФУНКЦИИ СИСТЕМ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ
- •6.5. ПРИМЕРЫ СИСТЕМ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ
- •Контрольные вопросы и задания
- •§ 7. ЭЛЕКТРОННЫЕ ТАБЛИЦЫ
- •7.1. НАЗНАЧЕНИЕ И ОСНОВНЫЕ ФУНКЦИИ ТАБЛИЧНЫХ ПРОЦЕССОРОВ
- •7.2. ЭЛЕКТРОННЫЕ ТАБЛИЦЫ SUPERCALC
- •7.3. ЭЛЕКТРОННЫЕ ТАБЛИЦЫ EXCEL
- •§8. ИНТЕГРИРОВАННЫЕ ПРОГРАММНЫЕ СРЕДСТВА
- •8.1. ПРИНЦИПЫ ПОСТРОЕНИЯ ИНТЕГРИРОВАННЫХ ПРОГРАММНЫХ СИСТЕМ
- •8.2. ИНТЕГРИРОВАННЫЙ ПАКЕТ MS-WORKS
- •§ 9. ЭКСПЕРТНЫЕ СИСТЕМЫ
- •Контрольные вопросы и задания
- •§ 10. ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА ДЛЯ РЕШЕНИЯ ПРИКЛАДНЫХ МАТЕМАТИЧЕСКИХ ЗАДАЧ
- •10.1. НАЗНАЧЕНИЕ ПРОГРАММ
- •10.2. ПАКЕТ MATHCAD
- •10.3. СИСТЕМА АНАЛИТИЧЕСКИХ ПРЕОБРАЗОВАНИЙ REDUCE
- •§ 11. КОМПЬЮТЕРНОЕ ТЕСТИРОВАНИЕ
- •11.1. ТЕХНОЛОГИЯ ПРОЕКТИРОВАНИЯ КОМПЬЮТЕРНЫХ ТЕСТОВ ПРЕДМЕТНОЙ ОБЛАСТИ
- •11.2. ТИПЫ КОМПЬЮТЕРНЫХ ТЕСТОВ
- •11.3. ИНСТРУМЕНТАЛЬНЫЕ ТЕСТОВЫЕ ОБОЛОЧКИ
- •11.4. ПРИМЕР ТЕСТА ПО ШКОЛЬНОМУ КУРСУ ИНФОРМАТИКИ
- •§12. КОМПЬЮТЕРНЫЕ ВИРУСЫ
- •12.1. ЧТО ТАКОЕ КОМПЬЮТЕРНЫЙ ВИРУС
- •12.2. РАЗНОВИДНОСТИ КОМПЬЮТЕРНЫХ ВИРУСОВ
- •12.3. АНТИВИРУСНЫЕ СРЕДСТВА
- •Контрольные вопросы и задания
- •§ 13. КОМПЬЮТЕРНЫЕ ИГРЫ
- •13.1. ВИДЫ И НАЗНАЧЕНИЕ КОМПЬЮТЕРНЫХ ИГР
- •13.2. ОБЗОР КОМПЬЮТЕРНЫХ ИГР
- •Контрольные вопросы
- •ГЛАВА 3 ЯЗЫКИ И МЕТОДЫ ПРОГРАММИРОВАНИЯ
- •ВВЕДЕНИЕ
- •§ 1. ИСТОРИЯ РАЗВИТИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ
- •§2. ЯЗЫКИ ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ
- •2.1. ПОНЯТИЕ О ЯЗЫКАХ ПРОГРАММИРОВАНИЯ ВЫСОКОГО УРОВНЯ
- •2.2. МЕТАЯЗЫКИ ОПИСАНИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ
- •23. ГРАММАТИКА ЯЗЫКОВ ПРОГРАММИРОВАНИЯ
- •§3. ПАСКАЛЬ КАК ЯЗЫК СТРУКТУРНО-ОРИЕНТИРОВАННОГО ПРОГРАММИРОВАНИЯ
- •3.1. ВВЕДЕНИЕ
- •Контрольные вопросы
- •3.2. ОСНОВНЫЕ КОНСТРУКЦИИ ЯЗЫКА
- •Контрольные вопросы
- •3.3. СТРУКТУРЫ ДАННЫХ
- •3.4. ПРОЦЕДУРЫ И ФУНКЦИИ
- •3.5. РАБОТА С ФАЙЛАМИ
- •3.6. ДИНАМИЧЕСКИЕ ИНФОРМАЦИОННЫЕ СТРУКТУРЫ
- •Контрольные вопросы
- •Контрольные вопросы и задания
- •Контрольные вопросы
- •§4. МЕТОДЫ И ИСКУССТВО ПРОГРАММИРОВАНИЯ
- •4.1. ПРОЕКТИРОВАНИЕ ПРОГРАММ
- •Контрольные вопросы и задания
- •4.2. ОСНОВНЫЕ ПРИНЦИПЫ РАЗРАБОТКИ И АНАЛИЗА АЛГОРИТМОВ
- •Задания
- •4.3. МЕТОДЫ ПОСТРОЕНИЯ АЛГОРИТМОВ, ОРИЕНТИРОВАННЫЕ НА СТРУКТУРЫ ДАННЫХ
- •Контрольные задания
- •4.4. РЕКУРСИВНЫЕ АЛГОРИТМЫ
- •Контрольные задания
- •4.5. ВАЖНЕЙШИЕ НЕВЫЧИСЛИТЕЛЬНЫЕ АЛГОРИТМЫ (ПОИСК И СОРТИРОВКА)
- •Контрольные вопросы и задания
- •5.1. ВВЕДЕНИЕ В БЕЙСИК
- •Контрольные вопросы
- •5.2. БАЗОВЫЕ ОПЕРАТОРЫ
- •Контрольные вопросы ч задания
- •5.3. МУЗЫКАЛЬНЫЕ ВОЗМОЖНОСТИ
- •Контрольные вопросы и задания
- •5.4. ГРАФИЧЕСКИЕ ВОЗМОЖНОСТИ
- •Контрольные вопросы и задания
- •5.5. ОБРАБОТКА СИМВОЛЬНОЙ ИНФОРМАЦИИ
- •Контрольные вопросы и задания
- •5.6. ПОДПРОГРАММЫ
- •Контрольные вопросы
- •5.7. РАБОТА С ФАЙЛАМИ
- •5.8. СРЕДСТВА И МЕТОДЫ ОРГАНИЗАЦИИ ДИАЛОГА
- •Контрольные задания
- •5.9. ВЕРСИИ БЕЙСИКА
- •5.10. БЕЙСИК И ПАСКАЛЬ
- •§ 6. ВВЕДЕНИЕ В ЯЗЫК ПРОГРАММИРОВАНИЯ СИ
- •6.1. ОБЩАЯ ХАРАКТЕРИСТИКА ЯЗЫКА И ПРИМЕР ПРОГРАММЫ НА СИ
- •6.2. ЭЛЕМЕНТЫ СИ: АЛФАВИТ, ИДЕНТИФИКАТОРЫ, ЛИТЕРАЛЫ, СЛУЖЕБНЫЕ СЛОВА
- •6.3. ТИПЫ ДАННЫХ И ОПЕРАЦИИ В ЯЗЫКЕ СИ. ВЫРАЖЕНИЯ
- •6.4. ОПЕРАТОРЫ. УПРАВЛЯЮЩИЕ КОНСТРУКЦИИ ЯЗЫКА
- •6.5. СТРУКТУРА ПРОГРАММЫ НА СИ. ПОНЯТИЕ О ФУНКЦИЯХ
- •6.6. КЛАССЫ ПАМЯТИ
- •6.7. ФУНКЦИИ ВВОДA-ВЫВОДА
- •6.8. ДИРЕКТИВЫ ПРЕПРОЦЕССОРА
- •6.9. СИ И ПАСКАЛЬ
- •§ 7. ОСНОВЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ ПРОЛОГ
- •7.1. ОБЩИЕ СВЕДЕНИЯ
- •7.2. АЛГОРИТМ ВЫПОЛНЕНИЯ ПРОГРАММ НА ПРОЛОГЕ
- •7.3. РЕКУРСИЯ
- •7.4. ПРЕДИКАТ ОТСЕЧЕНИЯ И УПРАВЛЕНИЕ ЛОГИЧЕСКИМ ВЫВОДОМ В ПРОГРАММАХ
- •7.5. ОБРАБОТКА СПИСКОВ
- •7.6. РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ НА ПРОЛОГЕ
- •Контрольные вопросы и задания
- •§ 8. ВВЕДЕНИЕ В ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ЛИСП
- •8.1. НАЗНАЧЕНИЕ И ОБЩАЯ ХАРАКТЕРИСТИКА ЯЗЫКА
- •8.2. ОСНОВНЫЕ ЭЛЕМЕНТЫ ПРОГРАММЫ НА ЛИСПЕ. СПИСКИ
- •8.3. ФУНКЦИИ
- •8.4. ФОРМЫ. УПРАВЛЯЮЩИЕ КОНСТРУКЦИИ В ЛИСП-ПРОГРАММЕ
- •8.5. РЕКУРСИЯ И ЦИКЛ В ПРОГРАММАХ НА ЛИСПЕ
- •8.6. ВВОД-ВЫВОД ДАННЫХ
- •8.7. ПРИМЕР ПРОГРАММИРОВАНИЯ НА ЛИСПЕ
- •8.8. СВОЙСТВА СИМВОЛОВ
- •Контрольные вопросы и задания
- •§9. ВВЕДЕНИЕ В ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ
- •9.1. ОСНОВНЫЕ ПОЛОЖЕНИЯ
- •9.2. ОСНОВЫ ОБЪЕКТНОГО ПРОГРАММИРОВАНИЯ В СИСТЕМЕ ТУРБО-ПАСКАЛЬ
- •9.3. ОБОЛОЧКА TURBO-VISION
- •9.4.* СРЕДА ОБЪЕКТНОГО ВИЗУАЛЬНОГО ПРОГРАММИРОВАНИЯ DELPHI
- •9.8. СИСТЕМА ОБЪЕКТНОГО ПРОГРАММИРОВАНИЯ SMALLTALK
- •Контрольные вопросы и задания
- •Дополнительная литература к главе 3
- •ЧАСТЬ ВТОРАЯ
- •ГЛАВА 4 ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
- •ВВЕДЕНИЕ
- •§ 1. ИСТОРИЯ РАЗВИТИЯ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ
- •1.1. НАЧАЛЬНЫЙ ЭТАП РАЗВИТИЯ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ
- •1.2. НАЧАЛО СОВРЕМЕННОЙ ИСТОРИИ ЭЛЕКТРОННОЙ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ
- •1.3. ПОКОЛЕНИЯ ЭВМ
- •1.4. ПЕРСОНАЛЬНЫЕ КОМПЬЮТЕРЫ
- •1.5. И НЕ ТОЛЬКО ПЕРСОНАЛЬНЫЕ КОМПЬЮТЕРЫ...
- •1.6. ЧТО ВПЕРЕДИ?
- •Контрольные вопросы
- •§2. АРХИТЕКТУРА ЭВМ
- •2.1. О ПОНЯТИИ «АРХИТЕКТУРА ЭВМ»
- •1.2. КЛАССИЧЕСКАЯ АРХИТЕКТУРА ЭВМ II ПРИНЦИПЫ ФОН НЕЙМАНА
- •2.3. СОВЕРШЕНСТВОВАНИЕ И РАЗВИТИЕ ВНУТРЕННЕЙ СТРУКТУРЫ ЭВМ
- •2.4. ОСНОВНОЙ ЦИКЛ РАБОТЫ ЭВМ
- •2.5. СИСТЕМА КОМАНД ЭВМ И СПОСОБЫ ОБРАЩЕНИЯ К ДАННЫМ
- •Контрольные вопросы
- •§3. АРХИТЕКТУРА МИКРОПРОЦЕССОРОВ
- •3.1. ИСТОРИЯ РАЗВИТИЯ МИКРОПРОЦЕССОРОВ
- •3.3. ВНУТРЕННЯЯ ОРГАНИЗАЦИЯ МИКРОПРОЦЕССОРА
- •3.3. РАБОТА МИКРОПРОЦЕССОРА С ПАМЯТЬЮ. МЕТОДЫ АДРЕСАЦИИ
- •3.4. ФОРМАТЫ ДАННЫХ
- •3.5. ОБРАБОТКА ПРЕРЫВАНИЙ
- •3.6. РАБОТА МИКРОПРОЦЕССОРА С ВНЕШНИМИ УСТРОЙСТВАМИ
- •3.7. ПРИМЕР: СИСТЕМА КОМАНД ПРОЦЕССОРОВ СЕМЕЙСТВА PDP
- •Контрольные вопросы и задания
- •§4. УЧЕБНАЯ МОДЕЛЬ МИКРОКОМПЬЮТЕРА
- •4.1. СТРУКТУРА УЧЕБНОГО МИКРОКОМПЬЮТЕРА
- •4.2. СИСТЕМА КОМАНД
- •4.3. АДРЕСАЦИЯ ДАННЫХ
- •4.4. РАБОТА С ВНЕШНИМИ УСТРОЙСТВАМИ
- •4.5. ПРИМЕРЫ ПРОГРАММ
- •Контрольные вопросы и задания
- •§ 5. ВНЕШНИЕ УСТРОЙСТВА ЭВМ: ФИЗИЧЕСКИЕ ПРИНЦИПЫ И ХАРАКТЕРИСТИКИ
- •5.1. ВНЕШНИЕ ЗАПОМИНАЮЩИЕ УСТРОЙСТВА
- •5.2. УСТРОЙСТВА ВВОДА ИНФОРМАЦИИ
- •5.3. УСТРОЙСТВА ВЫВОДА ИНФОРМАЦИИ
- •Контрольные вопросы и задания
- •§ 6. ЛОГИЧЕСКИЕ ОСНОВЫ ФУНКЦИОНИРОВАНИЯ ЭВМ
- •6.1. ЛОГИКА ВЫСКАЗЫВАНИЙ. ЭЛЕМЕНТАРНЫЕ ЛОГИЧЕСКИЕ ФУНКЦИИ
- •6.2. СХЕМНАЯ РЕАЛИЗАЦИЯ ЭЛЕМЕНТАРНЫХ ЛОГИЧЕСКИХ ОПЕРАЦИЙ. ТИПОВЫЕ ЛОГИЧЕСКИЕ УЗЛЫ
- •63. ПРИМЕР ЭЛЕКТРОННОЙ РЕАЛИЗАЦИИ ЛОГИЧЕСКОГО ЭЛЕМЕНТА
- •Контрольные вопросы и задания
- •Дополнительная литература к главе 4
- •ГЛАВА 5 КОМПЬЮТЕРНЫЕ СЕТИ И ТЕЛЕКОММУНИКАЦИИ
- •ВВЕДЕНИЕ
- •§ 1. ЛОКАЛЬНЫЕ СЕТИ
- •1.1. АППАРАТНЫЕ СРЕДСТВА
- •1.3. ЛОКАЛЬНЫЕ СЕТИ УЧЕБНОГО НАЗНАЧЕНИЯ
- •Контрольные вопросы
- •§2. ОПЕРАЦИОННЫЕ СИСТЕМЫ ЛОКАЛЬНЫХ СЕТЕЙ
- •Параметр
- •Контрольные вопросы ч задания
- •§3. ГЛОБАЛЬНЫЕ СЕТИ
- •3.1. ОБЩИЕ ПРИНЦИПЫ ОРГАНИЗАЦИИ
- •3.2. АППАРАТНЫЕ СРЕДСТВА И ПРОТОКОЛЫ ОБМЕНА ИНФОРМАЦИЕЙ
- •3.3. ЭЛЕКТРОННАЯ ПОЧТА
- •§ 4. ПРЕДСТАВЛЕНИЕ ОБ ОПЕРАЦИОННОЙ СИСТЕМЕ UNIX
- •§ 5. ИСПОЛЬЗОВАНИЕ КОМПЬЮТЕРНЫХ СЕТЕЙ В ОБРАЗОВАНИИ
- •5.1. ТЕЛЕКОММУНИКАЦИИ КАК СРЕДСТВО ОБРАЗОВАТЕЛЬНЫХ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
- •5.2. ПЕРСОНАЛЬНЫЙ ОБМЕН СООБЩЕНИЯМИ
- •5.3. ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ
- •5.4. СОВМЕСТНОЕ РЕШЕНИЕ ЗАДАЧ
- •ГЛАВА 6 ИНФОРМАЦИОННЫЕ СИСТЕМЫ
- •ВВЕДЕНИЕ
- •§ 1. БАНКИ ИНФОРМАЦИИ
- •1.1. БАНКИ ДАННЫХ
- •1.2. БАНКИ ДОКУМЕНТОВ
- •1.3. БАНК ПЕДАГОГИЧЕСКОЙ ИНФОРМАЦИИ
- •§ 2. БАЗЫ ДАННЫХ В СТРУКТУРЕ ИНФОРМАЦИОННЫХ СИСТЕМ
- •2.1. ОСНОВНЫЕ ПОНЯТИЯ
- •2.2. ПРОЕКТИРОВАНИЕ БАЗ ДАННЫХ
- •2.3. ПРЕДСТАВЛЕНИЕ ОБ ЯЗЫКАХ УПРАВЛЕНИЯ РЕЛЯЦИОННЫМИ БАЗАМИ ДАННЫХ ТИПА dBASE
- •§ 3. АВТОМАТИЗИРОВАННЫЕ ИНФОРМАЦИОННЫЕ СИСТЕМЫ
- •3.1. АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ
- •3.2. ИНФОРМАЦИОННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ
- •3.3. АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ НАУЧНЫХ ИССЛЕДОВАНИЙ
- •3.4. СИСТЕМЫ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ
- •3.5. ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ
- •Контрольные вопросы
- •§4. ЭКСПЕРТНЫЕ СИСТЕМЫ
- •Контрольные вопросы и задания
- •§ 5. КОМПЬЮТЕРНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ
- •5.2. ТИПЫ ОБУЧАЮЩИХ ПРОГРАММ
- •5.3. КОМПЬЮТЕРНОЕ ТЕСТИРОВАНИЕ
- •ГЛАВА 7 КОМПЬЮТЕРНОЕ МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
- •ВВЕДЕНИЕ
- •§ 1. О РАЗНОВИДНОСТЯХ МОДЕЛИРОВАНИЯ
- •§2. ПОНЯТИЕ О КОМПЬЮТЕРНОМ МАТЕМАТИЧЕСКОМ МОДЕЛИРОВАНИИ
- •2.1. МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ И КОМПЬЮТЕРЫ
- •2.2. ЭТАПЫ И ЦЕЛИ КОМПЬЮТЕРНОГО МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ
- •2.3. КЛАССИФИКАЦИЯ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ
- •2.4. НЕКОТОРЫЕ ПРИЕМЫ ПРОГРАММИРОВАНИЯ
- •§3. МОДЕЛИРОВАНИЕ ФИЗИЧЕСКИХ ПРОЦЕССОВ
- •3.1. ФИЗИКА И МОДЕЛИРОВАНИЕ
- •3.2. СВОБОДНОЕ ПАДЕНИЕ ТЕЛА С УЧЕТОМ СОПРОТИВЛЕНИЯ СРЕДЫ
- •3.4. ДВИЖЕНИЕ ТЕЛА С ПЕРЕМЕННОЙ МАССОЙ: ВЗЛЕТ РАКЕТЫ
- •3.5. ДВИЖЕНИЕ НЕБЕСНЫХ ТЕЛ
- •3.6. ДВИЖЕНИЕ ЗАРЯЖЕННЫХ ЧАСТИЦ
- •3.7. КОЛЕБАНИЯ МАТЕМАТИЧЕСКОГО МАЯТНИКА
- •3.8. МОДЕЛИРОВАНИЕ ЯВЛЕНИЙ
- •3.9. МОДЕЛИРОВАНИЕ ПРОЦЕССА ТЕПЛОПРОВОДНОСТИ
- •Контрольные вопросы и задания
- •§ 4. КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ В ЭКОЛОГИИ
- •4.1. ЭКОЛОГИЯ И МОДЕЛИРОВАНИЕ
- •4.2. МОДЕЛИ ВНУТРИВИДОВОЙ КОНКУРЕНЦИИ
- •4.3. ЛОГИСТИЧЕСКАЯ МОДЕЛЬ МЕЖВИДОВОЙ КОНКУРЕНЦИИ
- •4.4. ДИНАМИКА ЧИСЛЕННОСТИ ПОПУЛЯЦИЙ ХИЩНИКА И ЖЕРТВЫ
- •4.5. ИМИТАЦИОННОЕ МОДЕЛИРОВАНИЕ ДИНАМИКИ ПОПУЛЯЦИЙ
- •Контрольные вопросы и задания
- •§5. ГЛОБАЛЬНЫЕ МОДЕЛИ РАЗВИТИЯ ЧЕЛОВЕЧЕСТВА
- •§ 6. МОДЕЛИРОВАНИЕ СЛУЧАЙНЫХ ПРОЦЕССОВ
- •6.1. ТЕХНИКА СТОХАСТИЧЕСКОГО МОДЕЛИРОВАНИЯ
- •6.2. МОДЕЛИРОВАНИЕ СЛУЧАЙНЫХ ПРОЦЕССОВ В СИСТЕМАХ МАССОВОГО ОБСЛУЖИВАНИЯ
- •6.3. РАЗЛИЧНЫЕ ПРИМЕРЫ МОДЕЛИРОВАНИЯ СЛУЧАЙНЫХ ПРОЦЕССОВ
- •Контрольные вопросы и задания
- •§7. КОМПЬЮТЕРНОЕ МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ В ЭКОНОМИКЕ
- •7.1. ПОСТАНОВКА ЗAДAЧИ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ
- •7.2. СИМПЛЕКС-МЕТОД
- •Контрольные вопросы и задания
- •Дополнительная литература к главе 7
- •Содержание
на
нравится(А,рэп), носит(А,блейзер),
а затем предикат «нравнтся(А.рэп)» успешно согласуется с фактом «нравится(сергей,рэп)>>, и при этом переменная А конкретизируется значением «Сергей»; от вопроса теперь остается «носит(сергей,блейзер)», а в базе знаний имеется соответствующий факт. Ответ: «Да» и на экране появится значение присутствовавшей в вопросе переменной А:
А=сергей.
Отметим, что машина «не понимает» используемых в программе имен: «нравится», «носит», «сергей» и т.д. Мы могли бы вместо них использовать любые другие обозначения. Для интерпретатора Пролога существенны только совпадения и различия имен, а также связи между предикатами, устанавливаемые с помощью конъюнкций и импликаций. Осмысленные имена мы будем использовать только для того, чтобы облегчить чтение и понимание программ самим себе. Однако, в Прологе существуют предопределенные имена (встроенные предикаты), которые позволяют выполнить арифметические операции, сравнения, графические построения, ввод-вывод и другие полезные операции как побочный продукт выполнения программы. Встроенные предикаты Arity-Prolog описаны в справке по системе программирования, вызываемой нажатием клавиши F1.
Аналогичный набор встроенных предикатов имеется в других версиях языка Пролог.
7.2. АЛГОРИТМ ВЫПОЛНЕНИЯ ПРОГРАММ НА ПРОЛОГЕ
Факты и правила программы на Прологе являются описанием отношений и связей между объектами некоторой предметной области, т.е. записью условия некой логической задачи, которую предстоит решить. Описанные отношения и связи рассматриваются статически. Такой подход к программе называется декларативным. Порядок следования фактов, правил и подцелей в правилах не влияет на декларативный смысл программы.
Вместе с тем, программу можно рассматривать с точки зрения последовательности сопоставлений, конкретизации переменных и резолютивных выводов, происходящих при ее выполнении. Такой подход называется процедурным. Процедурный смысл программы обязательно должен учитываться при программировании на Прологе. Так, факт можно рассматривать как полностью определенную процедуру, для выполнения которой больше ничего не нужно. Правило
А:-В1,В2,...,Вn.
можно рассматривать как определение процедуры А, утверждающее, что для ее выполнения надо определить Bl, B2, ... , Вn. Процедуры Bl, B2, ... , Вn должны выполняться в определенном порядке - слева направо. Если выполнение очередной процедуры завершается успешно, то происходит переход к следующей процедуре. Если же по какой-либо причине очередная процедура выполняется неуспешно, то происходит переход к следующему варианту описания этой процедуры, и порядок поиска такого варианта в Прологе задан - сверху вниз. Поиск подходящих для согласования фактов и правил в базе знаний происходит последовательно сверху-вниз, и если подходящих фактов не найдено - ответ отрицательный. Эта стратегия согласования называется «сверху-вниз» и «замкнутый мир».
Рассмотрим процесс выполнения программы более подробно на примере.
Программа 112
а : - b, с, d.
b : - е, f. с. d. е. f. ? - а.
345
Выполнение программы начинается с применения метода резолюций к целевому и одному из предложений программы для получения их резольвенты. Подходящее предложение программы подбирается перебором сверху-вниз так, чтобы сопоставление его заголовка с целевым предложением было успешным. В результате резолюции получается новое целевое предложение и метод резолюции применяется к нему и к другому предложению программы. Процесс продолжается до тех пор, пока не будут согласованы с фактами все возникшие при резолюции подцели, табл. 3.6.
Таблица 3.6
К процессу выполнения программы на Прологе
Номер шага |
Целевое |
Исходное |
Резольвента |
|
резолюции |
предложение |
предложение |
|
|
1 |
?-а. |
a:-b,c,d. |
?-b,c,d. |
|
2 |
?-b,c,d. |
b:-c,f. |
?-e,f,c,d. |
|
3 |
|
?-е,f,с,d |
e. |
?-f,c,d. |
4 |
|
?-f,c,d. |
f. |
?-c.d. |
5 |
|
?-c,d. |
c. |
?-d. |
6 |
|
?-d. |
d. |
Пустая |
При выполнении логического вывода, если необходимо, происходит конкретизация переменных. Рассмотрим пример.
Программа 113
любит(юрий,музыку). любит(сергей,спорт).
любит(А,книги):-читатель(А),любопытный(А). любит(сергей,книги).
любит(сергей,кино). читатель(юрий). любопытный(юрий).
?- любит(X,музыку), любит(X,книги).
Двойной запрос в этой программе может быть представлен целевым деревом:
Вначале, просматривая программу сверху вниз. Пролог находит первое предложение, соответствующее первой подцели запроса:
Переменная Х конкретизируется значением «юрий». Начинается согласование 2-й подцели запроса с условием Х=юрий. 1-е и 2-е предложения программы не соответствуют подцели. В 3-ем предложении:
любит(А,книги):-читатель(А), любопытный(А).
346
аргумент А заголовка есть переменная, поэтому она может соответствовать X, т.е. получает значение А=юрин; вторые аргументы совпадают. Теперь тело правила образует новое множество целей для согласования. Получаем целевое дерево:
Затем Пролог будет искать факты, соответствующие новым подцелям. Последнее результирующее дерево:
Рассмотрим еще один пример.
Программа 114
любит(оля,чтение). любит(света,бадминтон). любит(для,бадминтон). любит(лена,плавание). любит(лена,чтение).
?- любит(X,чтение), любит(X,плавание).
Запрос означает: есть ли люди, которым нравится и чтение, и плавание? Сначала Пролог ищет факт, сопоставимый с первой частью вопроса: любит(Х, чтение). Подходит первый же факт программы
любит(оля,чтение).
и переменная Х связывается значением «оля». В то же время Пролог фиксирует в списке фактов указатель, показывающий состояние процедуры поиска. Далее Пролог пытается согласовать вторую часть запроса при условии Х = оля, т.е. ищет с самого начала программы факт «любит(оля, плавание)». Такого факта в программе нет, и поиск заканчивается неуспешно. Тогда Пролог возвращается к первои части запроса: любнт(Х,чтение) , «развязывает» переменную Х и продолжает поиск подходящих фактов, начиная с ранее установленного в списке фактов указателя Подходит факт «любит(лена,чтение)», переменная Х конкретизируется значением «лена», и далее вторая часть вопроса успешно согласуется с фактом «любит(лена, плавание)». Пролог выполнил в данном примере поиск с возвратом.
347
Графически процесс выполнения программы представляется в виде обхода бинарного дерева - дерева вывода, типа изображенного на рис.3.16. Вершины дерева обозначают вопросы, а ребра показывают возможные пути вывода, причем для каждого ребра характерны свои правила и унифицирующая подстановка значений переменных.
Рис.3.16. Дерево вывода программы на Прологе
Обход дерева начинается с движения от вершины (запроса) по самой левой ветви вниз до конца (abed), при этом запоминаются все точки ветвления (точки возврата). При достижении конца ветви решение будет либо найдено, либо нет. В обоих случаях Пролог продолжает дальнейший поиск решений. Выполняется возврат в последнюю точку ветвления с. При этом конкретные значения, присвоенные переменным при движении вниз на сегменте c-d. отменяются, и движение вниз продолжается по расположенной справа ветви с-е до конца дерева вниз. Затем произойдет возврат в предыдущую точку ветвления b и движение продолжится по ветви bfg, и так до тех пор, пока все дерево вывода не будет пройдено.
7.3. РЕКУРСИЯ
Существует целый класс задач, в которых отношения между объектами можно определить, только пользуясь самими определяемыми соотношениями. Получающиеся при этом правила называются рекурсивными.
Пример: рекурсивное определение натурального числа:
1)1- натуральное число;
2)число, на 1 большее натурального числа, также натуральное.
В системах логического программирования рекурсия служит также для описания циклов, повторений и является важнейшим методом программирования.
Рассмотрим простой пример: вычисление факториала натурального числа n (n!) . Определение n! рекурсивно:
1)1!=1, 2)n!=(n-l)!*n.
Для описания отношения «факториал» между n и n! будем использовать двухарный предикат
факт(N,М). Тогда база знаний, соединенная с запросом, приобретает вид (программа 115);
Программа 115
факт(1,1).
факт(N,Х): - факт( N-1 ,V), Х is Y*N. ?- факт(3,А);
В данной программе правило «факт» вызывает само себя - это и есть рекурсия. Запись is Y*N представляет собой обращение к встроенному предикату «is» («есть») для описания арифметического действия.
Процесс работы программы можно изобразить следующим образом:
?факт(3,A0).
ОТВЕТ: А=6
?факт(1,A2).
348
Х1= 2*3 = 6
факт(1,1)
Х2=1*2=2 Здесь стрелочка вниз означает сопоставление и резолюцию, а стрелочка вверх - возврат и
завершение отложенного вычисления.
Правило «факт» вызывает само себя - происходит углубление рекурсии (прямой ход). При этом в памяти ЭВМ выделяется место для переменных А,АО,А1,А2 и N,NO,N1,N2, образующих стеки. При согласовании вопроса с предикатом факт(1,1) рекурсия прекращается и начинается возврат из рекурсии (обратный ход) - выполнение отложенных на прямом ходе согласований. Предикат факт(1,1) играет очень важную роль - это ограничитель рекурсии, условие ее завершения.
Отметим, что Пролог стремится найти все решения поставленной задачи, а значит, после появления ответа А=6 происходит возврат к вопросу ?факт(1,А2) и попытке согласовать его с правилом «факт». Это приводит к бесконечному процессу рекурсии с отрицательными аргументами в «факт», которая завершается при исчерпании глубины зарезервированных интерпретатором Пролога стеков. Ускорить выход из рекурсии можно, добавив к предикату «факт(1,1)» отсечение !:
факт(1,1):-!.
Однако, использование отсечения требует более подробного рассмотрения. В общем случае последовательность предложений в базе знаний не имеет значения. Однако это не так для рекурсивно-определенных отношений. Например:
родитель(Х):- родитель(Y),отец(Y,Z). родитель(коля).
отец(коля,петя). родитель(петя).
В этом случае в первом предложении голова имеет ту же функцию, что и одна из целей - «родитель». В процессе поиска ответа в этой базе знаний будет применено правило: предложение, стоящее первым, будет применено первым - известное как принцип поиска в глубину.
Это приведет к тому, что система будет обращаться только к первому предложению базы знаний и ответ на вопрос не будет найден никогда (образуется бесконечная петля вывода). Однако небольшое изменение базы знаний - перестановка двух предложений местами - приведет к удачному поиску решения.
Программа 116
родитель(коля).
родитель(X):- родитель(Y), отец(Y,Х). отец(коля,петя).
? - родитель(петя).
Неограннчено-повторное обращение к предложению может быть и более замаскированным так, как это получается в программе 117.
Программа 117
выше(А,В): - ниже(В,А). ниже(В,А): - выше(А, В). выше(коля,петя).
?- ниже(петя,коля).
Однако если третье предложение стоит на первом месте, то повторного обращения не произойдет и ответ будет найден.
В общем виде рекурсия на Прологе выглядит так:
349