Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit by Karl-Heinz Zimmermann
Deutsch | PDF,EPUB | 2020 | 74 Pages | ISBN : 3658317388 | 4.4 MB
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist.