Logo
Unijapedija
Komunikacija
na voljo v Google Play
Novo! Naložite Unijapedija na vašem Android ™!
Prost
Hitreje kot brskalnik!
 

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.

1 razmerje: Supernaloga.

Supernaloga

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

Novo!!: Odločljivost in Supernaloga · Poglej več »

OdhodniDohodne
Zdravo! Smo na Facebooku zdaj! »