Домой
Случайная
Список наблюдения
Настройки
Представиться системе
Описание ALL
Отказ от ответственности
Открыть главное меню
Изменения
Логический закон
123 байта убрано
,
09:44, 23 января 2016
* Логический закон является тождественно-истинным [[предикат]]ом, определённым на множестве '''{0,1}'''.
== Другие понятия: ==
*[[машина Поста]];
*[[машина Тьюринга]];
*[[схема примитивной рекурсии]];
*[[логический закон]];
*[[логическая функция]];
← Предыдущая правка
Следующая правка →
Logic-samara
40 519
правок