Личный кабинет
Подробное описание документа
Ивлев Ю. В.
Основные квазиматричные логики / Ивлев Ю. В. - DOI 10.18698/2306-8477-2016-10-391 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2016. - № 10. -
Скачать документ
Известны возможности применения матричных логик вне области логики. Это релейно-контактные схемы и абстрактные автоматы. В случае применения матричных логик к описанию автоматов зависимости между сигналами на входе автомата, его состоянием и действием на выходе выражаются посредством функций. Использование квазиматричной логики позволит выражать эту зависимость посредством квазифункций. Поскольку частным случаем квазифункции является функция, появляется возможность создания новых видов автоматических устройств, решающих более широкий спектр задач. Однако для квазиматричных логик актуальна проблема разрешимости, что не позволяет применять квазиматричную логику в указанной сфере. В статье предложено решение этой проблемы.
Статья опубликована в следующих изданиях
№ 10. - 2016.
