НАУЧНАЯ БИБЛИОТЕКА - РЕФЕРАТЫ - Разработка формальной системы

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

Министерство образования Российской Федерации

Рязанская государственная радиотехническая академия

Кафедра ВПМ

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

Пояснительная записка к курсовому проекту

по дисциплине “Математическая логика”

Проверил: Каширин И. Ю.

Рязань 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 если на стороне выпуклость

. ai = 0 если на стороне нет ни выпуклость ни вогнутости (пустая

сторона)

Запись А2 означает, что используется 2я сторона пазла А, т.е. А2 = а2.

Пример 1.

(-1, 0, 1, 1), т.е.

В качестве отношений возьмем бинарные отношения меньше () и

равенство (=) элементов по:

. количеству выпуклостей (>’; ”; ” B), если Vвп(A) < Vвп(B) (Vвп(A) > Vвп(B))

[А ’ B), если Vвг(A) < Vвг(B) (Vвг(A) > Vвг(B)) ].

Отношение больше является обратным к отношению меньше, т.е. если A > B, то

B < A и наоборот, если A < B, то B > A.

Отношение равенство.

Определение 5. Пазл А равен пазлу В по количеству выпуклостей

(вогнутостей), если вес выпуклостей (вогнутости) пазла А равен весу</