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...

• 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"