1.Понятие множества и операции над множествами. Типология множеств. Представление множеств на языке семантических сетей. [4, -c.9-19],[2,–с.:63-72,117-127]
2.Сочетания, размещения, перестановки, булеаны. [2, -c.146-148], [4, -c.37]
3.Понятие атрибута, кортежа и схемы отношения. Представление атрибутов, кортежей и схем отношений на языке семантических сетей. [2, -с.127-133, 139, 167-171]
4.Понятие отношения. Операции над отношениями. Представление отношений на языке семантических сетей. [2, -c.134-136,142,166,171-173],[4, -c.29-32, 33-35]

ЛАиАГ - Линейная алгебра и аналитическая геометрия.

1. Традиционные файловые системы. Подход, используемый в файловых системах. Достоинства и недостатки.
2. Ограничения, присущие файловым системам: разделение и изоляция, дублирование данных, зависимость от данных, несовместимость форматов файлов, фиксированные запросы, быстрое увеличение приложений.

1. Основные понятия и определения онтологической инженерии. Категории, объекты и отношения
2. Синтаксис и семантика пропозициональной логики. Использование пропозициональной логики для представления знаний
3. Цель логического вывода. Аксиомы, теоремы, правила логического вывода. Свойство монотонности логического вывода
4. Применение метода резолюций для доказательства истинности следствий в базе знаний. Полнота метода резолюций
5. Прямой и обратный логический вывод. Поиск решения в дереве вывода «в глубину» и «в ширину»