RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив

Матем. заметки, 1982, том 32, выпуск 1, страницы 89–96 (Mi mzm6061)

О реализации не всюду определенных функций алгебры логики

В. В. Тарасов


Аннотация: В работе доказывается критерий полноты систем $\mathfrak N$ из не всюду определенных функций алгебры логики при реализации их формулами над базисом $\mathfrak N$. При этом под неопределенностью понимается возможность функции на отдельных наборах случайным образом принимать значения 0, 1. Библ. 5 назв.

УДК: 517.11

Поступило: 24.01.1979


 Англоязычная версия: Mathematical Notes, 1982, 32:1, 524–528

Реферативные базы данных:


© МИАН, 2024