|
Математические заметки, 1982, том 32, выпуск 1, страницы 89–96
(Mi mzm6061)
|
|
|
|
О реализации не всюду определенных функций алгебры логики
В. В. Тарасов
Аннотация:
В работе доказывается критерий полноты систем $\mathfrak N$ из не всюду определенных функций алгебры логики при реализации их формулами над базисом $\mathfrak N$. При этом под неопределенностью понимается возможность функции на отдельных наборах случайным образом принимать значения 0, 1. Библ. 5 назв.
Поступило: 24.01.1979
Образец цитирования:
В. В. Тарасов, “О реализации не всюду определенных функций алгебры логики”, Матем. заметки, 32:1 (1982), 89–96; Math. Notes, 32:1 (1982), 524–528
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm6061 https://www.mathnet.ru/rus/mzm/v32/i1/p89
|
Статистика просмотров: |
Страница аннотации: | 233 | PDF полного текста: | 102 | Первая страница: | 1 |
|