Раздел 6. Программное обеспечение эвм

Классификация программного обеспечения ПЭВМ.

Операционные системы. Состав ОС. Основные функции ОС.

Прикладное программное обеспечение общего назначения. Системы обработки текстов. Системы машинной графики. Табличные процессоры.

Раздел 7. Информационные системы

Понятие информационной системы. Классификация информационных систем. Жизненный цикл информационной системы.

Информационные модели данных. Проектирование и формирование базы данных. Взаимосвязи между элементами баз данных. Задачи поиска в базах данных.

Раздел 8. Компьютерное моделирование

Цели и задачи моделирования. Понятие “модель”. Натурные и абстрактные модели. Моделирование в естественных и технических науках. Абстрактные модели и их классификация. Компьютерная модель.

Понятие о математическом моделировании. Основные этапы математического моделирования. Применение ЭВМ в математическом моделировании. Математическое моделирование детерминированных физических процессов. Примеры компьютерных моделей.

Метод статистических испытаний (метод Монте-Карло). Пример применения метода Монте-Карло.

Раздел 9. Исследование операций

Задача линейного программирования. Двойственная задача. Каноническая форма задачи линейного программирования. Решение задачи линейного программирования симплекс-методом.

Раздел 10. Численные методы

Приближенные числа и их погрешности. Основные источники погрешностей. Абсолютная и относительная погрешности. Верные значащие цифры. Оценка погрешностей значений функции и арифметических операций.

Этапы приближенного решения уравнения с одним неизвестным. Способы отделения корней. Уточнение корня уравнения методом половинного деления и методом простой итерации.

Метод простой итерации приближенного решения системы линейных алгебраических уравнений.

Табличная функция и задача ее аналитического приближения. Интерполяционные многочлены Ньютона. Линейное интерполирование. Приближение табличных функций по методу наименьших квадратов.

Квадратурные формулы трапеций и Симпсона приближенного вычисления определенных интегралов. Оценка погрешностей этих формул.

Численное решение задачи Коши для обыкновенных дифференциальных уравнений первого порядка методом Эйлера. Оценка погрешностей методом двойного пересчета.

Раздел 11. Элементы дискретной математики

Основные понятия алгебры высказываний. Равносильные формулы. Тавтологии – законы алгебры высказываний. Булевы функции. Нормальные формы. Логическое следование.

Основные понятия теории графов. Ориентированные и неориентированные графы. Степень вершины. Цепи, циклы. Связные графы и коипоненты связности. Эйлеровы (полуэйлеровы) графы, критерии. Гамильтоновы (полугамильтоновы) графы. Задача определения гамильтоновости графа. Деревья. Задача построения остовного дерева минимального веса и алгоритм Краскала ее решения.

Раздел 12. Основы искусственного интеллекта

История возникновения и современные направления исследований в области ИИ. Модели представления знаний: логическая, сетевая, фреймовая, продукционная.

Понятие об экспертной системе. Общая характеристика ЭС. Структура и режимы использования ЭС. Классификация инструментальных средств ЭС. Организация знаний в ЭС. Виды ЭС. Типы задач, решаемых ЭС.

Понятие о логическом программировании. Представление знаний о предметной области в виде фактов и правил базы знаний Пролога. Структура программы на языке Пролог. Алгоритм выполнения программ на Прологе. Рекурсия. Структуры данных в программах на Прологе. Решение логических задач на Прологе.