rozstrzygalność
Sign in to saveAlso known as decidable
property of theories that have computable membership
Wikidata facts
- Subclass of
- property
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Polski
Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem. Problem może być nierozstrzygalny, jeśli jego rozstrzygalność prowadziłaby do powstania sprzeczności.
Abstract from DBpedia / Wikipedia · CC BY-SA