Rozstrzygalność




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.



Zobacz też |


  • problem nierozstrzygalny


Przypisy |









這個網誌中的熱門文章

Electric locomotive

Carlow County Council

Abdulla Qahhor