Министерство образования Российской Федерации
Рязанская государственная радиотехническая академия
Кафедра ВПМ
Разработка формальной системы
по дисциплине “Математическая логика”
Проверил: Каширин И. Ю.
Возможно вы искали - Реферат: Численный расчет дифференциальных уравнений
Рязань 2003г.
Содержание
1. Предметная область.
2. Основные объекты предметной области и отношения на множестве этих объектов.
3. Семантика отношений. Примеры.
Похожий материал - Реферат: Расчет одноступенчатого редуктора
4. Свойства отношений.
5. Операции на множестве объектов предметной области. Их семантика. Примеры.
6. Разработка алгебраической системы.
7. Свойства операций.
8. Тип и класс полученной алгебраической системы.
Очень интересно - Курсовая работа: Корреляционно-регрессивный анализ
9. Формальная логическая система с аксиоматикой свойств операций. Примеры логического вывода.
10. Программа, демонстрирующая отношения и основные операции алгебраической системы. Пример выполнения программы.
1. Предметная область.
В качестве предметной области будем рассматривать пазл.
2. Основные объекты предметной области и отношения на множестве этих объектов. Примеры.
Вам будет интересно - Реферат: Расширения полей
Основным объектом предметной области является картеж следующего вида:
(а1, а2, а3, а4),
где а1 – верхняя сторона пазла;
а2 - правая сторона пазла;
а3 - нижняя сторона пазла;
Похожий материал - Реферат: Рациональные уравнения и неравенства
а4 - левая сторона пазла;
Значения а1, а2, а3, а4 определяются следующим образом (в зависимости от элемента на этой стороне):
ai = -1 если на стороне вогнутость
ai = 1 если на стороне выпуклость