Berechenbarkeit: Berechnungsmodelle Und Unentscheidbarkeit [German]

By Karl-Heinz Zimmermann

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. Neben zentralen Instrumenten der Berechenbarkeit, wie etwa der G delisierung von berechenbaren Funktionen und der Existenz universeller berechenbarer Funktionen, stehen unentscheidbare Probleme im Fokus, wie etwa das Halteproblem sowie das Wortproblem f r die Term-Ersetzung. Semi-entscheidbare Mengen werden beleuchtet und die zentralen S tze von Rice und Rice-Shapiro werden skizziert.

• Format: Paperback
• Language: German
• ISBN: 3658317388
• ISBN13: 9783658317386
• Release Date: October 2020
• Publisher: Springer Spektrum
• Length: 67 Pages
• Weight: 0.24 lbs.
• Dimensions: 0.2" x 5.8" x 8.3"