|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Алгебраический аппарат последовательностей вывода
Л. А. Поморцев Московский технический университет связи и информатики, г. Москва
Аннотация:
Предлагаемая работа нацелена на искоренение недостатков Последовательностей Вывода (ПВ), присущих программам вычислительных машин. Постановка задачи и предшествующие исследования ПВ составляют содержание работ [10-12]. На завершающем этапе статьи ПВ заменяются Функционально-Эквивалентными (ФЭ) им алгебраическими выражениями, на входе в которые имеют место те же Функциональные Зависимости (ФЗ), что и в исходных ПВ. Результат работы, соответствующий её целям, содержится в Теореме 3.
Ключевые слова:
конечный, силлогизм, анализ, синтез, таблица, отношение, атрибут, схема, ключ, функциональная зависимость, граф, логическая схема, кортеж, проекция, гнездование, D-алгебра, ЧП, ЧУМ, РБД, ТРБД.
Поступила в редакцию: 13.09.2021 Исправленный вариант: 01.10.2021
Образец цитирования:
Л. А. Поморцев, “Алгебраический аппарат последовательностей вывода”, Нечеткие системы и мягкие вычисления, 16:2 (2021), 96–110
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/fssc80 https://www.mathnet.ru/rus/fssc/v16/i2/p96
|
Статистика просмотров: |
Страница аннотации: | 115 | PDF полного текста: | 89 | Список литературы: | 14 |
|