В качестве языка для построения электронного курса " Нечёткая логика и её применение" берётся HTML (язык размётки гипертекста) [ 1 ], с помощью которого образуется начальный стартовый файл START.HTM, который организует диалог пользователя с ЭВМ, позволяя ему открыть файлы STRUCT.HTM (Введение), STRUCT1.HTM (гл. 1 Трёхзначная алгебра Гейтинга), STRUCT2.HTM (гл 2 Другие модели конструктивного исчисления высказываний),........, lit.HTM (Список литературы). Глава 1 включает три параграфа : 1. Трёхзначная интуиционистская (конструктивная) алгебра высказываний ; 2. Основные законы 3 - значной алгебры Гейтинга ; 3. Основные законы 3 - значной алгебры Гейтинга как модель конструктивного исчисления высказываний. Глава содержит 23 страницы стандартного текста, оответствующие одной опции меню. Теоремы главы, обосновывающие существование модели, (их 9 по числу аксиом конструктивного исчисления высказываний) содержат, как правило, дескриптивное и конструктивное доказательство. Например, для аксиомы A3´ [ 2 ], имеющей в данной интерпретации вид: 0 ) X 1, дескриптивное доказательство того, что аксиома тождественно истинная формула состоит в утверждении того, что 0 является наименьшим элементом в множестве { 0, 1/2, 1 }. Конструктивное доказательство задаётся таблицей истинности:
|
X 1
|
0 ) X 1
|
|
0
|
1
|
|
1/2
|
1
|
|
1
|
1
|
В дальнейшем (глава 2, случай m - значной логики [3, 4]) дескриптивное доказательство сохранится, конструктивное доказательство необходимо пересчитывать для каждого конкретного m. Во второй главе помимо общих вопросов даётся приложение к моделированию операции " Уран " (окружение 6 - ой немецкой армии в районе Сталинграда в ноябре 1942 года).
СПИСОК ЛИТЕРАТУРЫ
- Гончаров А. Самоучитель HTML, СПб, " Питер ", 2001.
- Новиков П.С. Конструктивная математическая логика с точки зрения классической, М., Наука, 1977.
- Тарушкин В.Т., Тарушкина Л.Т., Юрков А.В. M - значная логика и её применение к истории России, её экономике и политике. Современные наукоёмкие технологии, N 6, стр. 32 - 33, М: изд. РАЕН, 2004.
- Тарушкин В.Т., Тарушкина Л.Т., Юрков А.В. M - знач ная логика и задача оценки экономического состояния России. Межд. конф., посвящённая 75 - летию В.И. Зубова, т. 3, c.1604 - 1613, СПб : СПбГУ, 2005.
