Разработка формальной системы. (контрольная работа)

Содержание
1. Предметная область.
2. Основные объекты предметной области и отношения на множестве этих объектов.
3. Семантика отношений. Примеры.
4. Свойства отношений.
5. Операции на множестве объектов предметной области. Их семантика. Примеры.
6. Разработка алгебраической системы.
7. Свойства операций.
8. Тип и класс полученной алгебраической системы.
9. Формальная логическая система с аксиоматикой свойств операций. Примеры логического вывода.
10. Программа, демонстрирующая отношения и основные операции алгебраической системы. Пример выполнения программы.
Количество страниц - 10