<http://thesaurus.bib.th-wildau.de/_00000158> <http://www.w3.org/2004/02/skos/core#prefLabel> "theoretical computer science"@en .
<http://thesaurus.bib.th-wildau.de/_00000158> <http://www.w3.org/2004/02/skos/core#prefLabel> "Theoretische Informatik"@de .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#inScheme> <http://thesaurus.bib.th-wildau.de/scheme> .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#prefLabel> "computability theory"@en .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#prefLabel> "Berechenbarkeitstheorie"@de .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#altLabel> "recursion theory"@en .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#altLabel> "theory of computability"@en .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#altLabel> "Rekursionstheorie"@de .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#altLabel> "Berechenbarkeit"@de .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#broader> <http://thesaurus.bib.th-wildau.de/_00000158> .
<http://thesaurus.bib.th-wildau.de/_00000162> <http://www.w3.org/2004/02/skos/core#definition> "Teilgebiet der theoretischen Informatik, das sich mit den formalen Grundlagen und den Grenzen der algorithmischen Methode befasst. Im Gegensatz zur Komplexitätstheorie steht die prinzipielle Berechenbarkeit einer Funktion im Vordergrund und nicht die Effizienz der Lösung. Eine zentrale Erkenntnis der Berechenbarkeitstheorie ist die Existenz unberechenbarer Funktionen (Halteproblem). (Hoffmann, Dirk W.: Theoretische Informatik. 2., aktualisierte Aufl. München : Hanser, 2011)"@de .