Научный журнал
Современные наукоемкие технологии
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

Личный портфель

ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ПОСТРОЕНИЯ ЭЛЕКТРОННОГО КУРСА “НЕЧЁТКАЯ ЛОГИКА И ЕЁ ПРИМЕНЕНИЕ”

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Юрков А.В.
В качестве языка для построения электронного курса " Нечёткая логика и её применение" берётся 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 года).

СПИСОК ЛИТЕРАТУРЫ

  1. Гончаров А. Самоучитель HTML, СПб, " Питер ", 2001.
  2. Новиков П.С. Конструктивная математическая логика с точки зрения классической, М., Наука, 1977.
  3. Тарушкин В.Т., Тарушкина Л.Т., Юрков А.В. M - значная логика и её применение к истории России, её экономике и политике. Современные наукоёмкие технологии, N 6, стр. 32 - 33, М: изд. РАЕН, 2004.
  4. Тарушкин В.Т., Тарушкина Л.Т., Юрков А.В. M - знач ная логика и задача оценки экономического состояния России. Межд. конф., посвящённая 75 - летию В.И. Зубова, т. 3, c.1604 - 1613, СПб : СПбГУ, 2005.

Библиографическая ссылка

Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т., Юрков А.В. ИНФОРМАЦИОННАЯ ТЕХНОЛОГИЯ ПОСТРОЕНИЯ ЭЛЕКТРОННОГО КУРСА “НЕЧЁТКАЯ ЛОГИКА И ЕЁ ПРИМЕНЕНИЕ” // Современные наукоемкие технологии. 2006. № 4. С. 35-35;
URL: https://top-technologies.ru/ru/article/view?id=22622 (дата обращения: 18.05.2025).