Фэндом

Математика

Разрешимость

1458статей на
этой вики
Добавить новую страницу
Обсуждение0 Поделиться

Шаблон:Empty Разрешимость – это возможность определить (для произвольной формулы формальной теории), выводима или нет эта формула из множества аксиом.

Данное свойство присуще исчислению высказываний. Исчисление предикатов им не обладает.


cs:Rozhodnutelnosthe:כריעות

pl:Rozstrzygalność sl:Odločljivost

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Также на Фэндоме

Случайная вики