Berechenbarkeit: Berechnungsmodelle Und Unentscheidbarkeit 1. Aufl. 2020 Edition Contributor(s): Zimmermann, Karl-Heinz (Author) |
|
ISBN: 3658317388 ISBN-13: 9783658317386 Publisher: Springer Spektrum OUR PRICE: $17.09 Product Type: Paperback Language: German Published: October 2020 |
Additional Information |
BISAC Categories: - Mathematics | Logic |
Physical Information: 0.17" H x 5.83" W x 8.27" (0.24 lbs) 67 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |