4. Учебно-тематический план

№ п/п	Наименование тем и разделов	Всего часов аудит. занятий	Аудиторные занятия (час) в том числе
			Лекции	Семинары
7-й семестр
1	Тема 1. Введение в системы управления базами данных. Элементы реляционной алгебры.	4	2	2
2	Тема 2. Создание и нормализация баз данных.	4	2	2
3	Тема 3. Работа с таблицами.	4	2	2
4	Тема 4. Создание экранных форм, их назначение и использование.	4	2	2
5	Тема 5. Создание отчетов, их назначение и использование.	4	2	2
6	Тема 6. Анализ данных. Создание запросов.	4	2	2
7	Тема 7. Создание прикладных программ. Модули.	4	2	2
8	Тема 8. Виды таблиц MySQL. Транзакции.	8	4	4
	ИТОГО:	36	18	18
8-й семестр
9	Тема 9. Модели представления знаний.	4	2	2
10	Тема 10. Логическая модель ли представления знаний.	4	2	2
11	Тема 11. Продукционная модель ли представления знаний.	4	2	2
12	Тема 12. Фреймовая модель ли представления знаний.	4	2	2
13	Тема 13. Семантические сети.	4	2	2
14	Тема 14. Продукционные экспертные системы.	4	2	2
15	Тема 15. Нейлоровские диагностирующие системы.	4	2	2
16	Тема 16. Языки программирования задач искусственного интеллекта.	6	2	4
	ИТОГО:	34	16	18

5. Содержание курса

Тема 1. Введение в системы управления базами данных. Элементы реляционной алгебры.

Введение в системы управления базами данных. Организационная структура баз данных. Реляционный подход. Нормализация баз данных. Типы СУБД. Локальные и сетевые СУБД. Обзор современных СУБД. Элементы реляционной алгебры.

Тема 2. Создание и нормализация баз данных.

Создание баз данных. Разработка информационной модели и понятие структуры баз данных. Работа с несколькими таблицами. Понятие целостности данных. Работа с таблицами и нормализация баз данных. Администрирование баз данных. Получение информации о сервере MySQL и базах данных. Опции mysqladmin. Статус сервера и информация о процессах. Информация о привилегиях. Справочная информация о таблицах. Резервирование и восстановление с помощью mysqldump. Журналы регистрации.

Тема 3. Работа с таблицами.

Ввод и вывод данных, модификация баз данных, замена, обновление, удаление записей. СУБД MySQL: операторы Insert, Replace, Delete, Truncate, Update. Загрузка данных в БД с помощью оператора Load Data Infile. Сложные запросы. Использование объединений для создания запросов к нескольким таблицам. Типы объединений: основное, левое и правое.

Тема 4. Создание экранных форм, их назначение и использование.

Создание экранных форм, их назначение и использование. Автоматическое создание форм на основе таблиц и запросов, создание форм с помощью мастера и в режиме конструктора. Структура формы, панели инструментов, основные элементы управления. Оформление формы. Вычисления в формах. Многотабличные формы.

Тема 5. Создание отчетов, их назначение и использование.

Создание отчетов, их назначение и использование. Автоматическое создание отчета на основе таблицы или запроса, создание отчета с помощью мастера и в режиме конструктора. Структура отчета, панели инструментов, основные элементы управления. Оформление страниц отчета. Создание вычисляемых полей. Составные отчеты.

Тема 6. Анализ данных. Создание запросов.

Анализ данных. Создание запросов. Основные команды SQL. Создание простых и сложных запросов. Создание подзапросов. Подзапросы в логических выражениях. Опции оператора Select. Запросы и встроенные функции: числовые и строковые функции, функции даты и времени. Функции в выражениях Group By. Запросы с параметрами.

Тема 7. Создание прикладных программ. Модули.

Создание прикладных программ. Модули. Основные команды языка манипулирования данными. Язык VBA. Среда программирования VBA. Модули. Объектная модель. Основные операторы VBA. Программирование в формах и отчетах.

Тема 8. Виды таблиц MySQL. Транзакции.

Виды таблиц MySQL. Транзакции. Таблицы Isam. Таблицы MyIsam. Сжатие таблиц MyIsam. Полнотекстовый поиск в таблицах MyIsam. Таблицы InnoDB. Таблицы BerklyeDB. Виртуальные таблицы Merge. Таблицы Heap. Использование транзакций с таблицами InnoDB. Режим автоматической фиксации. Использование блокировки. Правила ACID. Изолированность транзакций.

Тема 9. Модели представления знаний.

Базы правил. Рабочая память. Механизм вывода. Компоненты вывода. Управляющая компонента. Модели представления знаний для принятия решений. Логическая модель представления и обработки знаний. Алгебра высказываний и алгебра предикатов. Приведение к нормальной форме формулы алгебры предикатов.

Тема 10. Логическая модель ли представления знаний.

Логические выводы в экспертных системах (ЭС). Четыре правила Modus Ponens. Доказательства. Правила подстановки. Тавталогии и противоречия. Правило резолюции.

Тема 11. Продукционная модель ли представления знаний.

Лексический, синтаксический и семантический анализы информации. Дерево решений. Построение базы знаний (БЗ) с помощью дерева решений. Прямая и обратная цепочка логического вывода. Стратегии поиска решений в ЭС продукционного типа: стратегия поиска в глубину, стратегия поиска в ширину и α-β алгоритм.

Тема 12. Фреймовая модель ли представления знаний.

Фреймы. Объектно-ориентированное представление знаний фреймами. Теоретико-множественные операции над фреймами. Слоты. Указатели наследования и типа данных. Присоединенные процедуры и демоны. Специализированные языки представления знаний на основе фреймовой модели. Механизмы обмена информации между фреймами.

Тема 13. Семантические сети.

Формы представления семантической информации. Виды и носители семантической информации. Принцип семантической топологии. Семантические операции. Модельная семантическая информация. Семантические объекты. Функции семантических объектов. Классы информационных семантических систем. Семантические системы с целью.

Тема 14. Продукционные экспертные системы.

Экспертные системы (ЭС) продукционного типа. Продукционные правила. Прямой и обратный логические выводы. Вектор состояния ЭС и уравнение итерационной динамики ЭС. ЭС с дополнительными вопросами.

Тема 15. Нейлоровские диагностирующие системы.

Представление и использование нечетких знаний в ЭС. ЭС нейлоровского типа. Шкалирование нечетких знаний. Ценность фактов. Алгоритм косвенного логического вывода в нейлоровских ЭС.

Тема 16. Языки программирования задач искусственного интеллекта.

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