Delamo na obnovitvi aplikacije Unionpedia v trgovini Google Play
OdhodniDohodne
🌟Poenostavili smo našo zasnovo za boljšo navigacijo!
Instagram Facebook X LinkedIn

Odločljivost

Index Odločljivost

Logični sistem je odločljiv, če in samo če obstaja algoritem, po katerem za vsako dobro napisano formulo v tem sistemu, obstaja največje končno število N korakov, po katerih (vsaj) se je algoritem sposoben odločiti, ali je dana formula veljavna ali neveljavna.

Kazalo

  1. 1 razmerje: Supernaloga.

Supernaloga

Súpernalóga je v matematiki in filozofiji naloga z neskončnim številom korakov opravljena v končnem času.

Poglej Odločljivost in Supernaloga