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