Berechenbarkeit : Berechnungsmodelle und Unentscheidbarkeit EPUB
by Karl-Heinz Zimmermann
Part of the essentials series
EPUB
- Information
Description
In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erortert. Zunachst werden unterschiedliche Modelle der Berechenbarkeit eingefuhrt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der Godelisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem fur die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen Satze von Rice und Rice-Shapiro werden skizziert.
Information
-
Download Now
- Format:EPUB
- Publisher:Springer Fachmedien Wiesbaden
- Publication Date:28/10/2020
- Category:
- ISBN:9783658317393
Information
-
Download Now
- Format:EPUB
- Publisher:Springer Fachmedien Wiesbaden
- Publication Date:28/10/2020
- Category:
- ISBN:9783658317393