Description

Book Synopsis

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.



Table of Contents
Berechnungsmodelle.- Zentrale Konzepte.- Unentscheidbare Probleme.- Historie und Zusammenfassung

Berechenbarkeit: Berechnungsmodelle und

Product form

£9.99

Includes FREE delivery

Order before 4pm tomorrow for delivery by Wed 21 Jan 2026.

A Paperback / softback by Karl-Heinz Zimmermann

Out of stock


    View other formats and editions of Berechenbarkeit: Berechnungsmodelle und by Karl-Heinz Zimmermann

    Publisher: Springer Fachmedien Wiesbaden
    Publication Date: 29/10/2020
    ISBN13: 9783658317386, 978-3658317386
    ISBN10: 3658317388
    Also in:
    Mathematical logic

    Description

    Book Synopsis

    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.



    Table of Contents
    Berechnungsmodelle.- Zentrale Konzepte.- Unentscheidbare Probleme.- Historie und Zusammenfassung

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account