teoria obliczalności
Sign in to saveAlso known as recursion theory
study of computable functions and Turing degrees
In the Vinony graph
Vinony's link graph records 741 inbound references to teoria obliczalności, and connects out to recursively enumerable set, Gödel's incompleteness theorems and arithmetical hierarchy.
It is catalogued under topics including Computability theory and Mathematical logic.
Vinony links it to 42 Wikipedia language editions.
Wikidata facts
- Subclass of
- theory of computation
Show 3 more facts
- topic's main category
- Category:Computability theory
- Commons category
- Computer science
- on focus list of Wikimedia project
- Wikipedia:Vital articles/Level/4
Sources (2)
via Wikidata · CC0
Article · Polski
Teoria obliczalności, także teorii rekursji – dział teorii obliczeń zajmujący się badaniem jakie problemy są rozwiązywalne przy użyciu komputerów. Nie należy mylić teorii obliczalności z teorią złożoności obliczeniowej, zajmującej się badaniem jak efektywnie da się rozwiązywać różne problemy. Podstawowym obiektem badań teorii obliczalności są funkcje obliczalne.
Abstract from DBpedia / Wikipedia · CC BY-SA