Zum Inhalt springen
Cyberslide
Cyberslide

CSS von Cyberslide · Unabhängiger Preisvergleich mit Angeboten aus über 1.000 Shops

CSS von Cyberslide
Computability
Springer

Computability

EAN/GTIN:
9783030832049
Kategorie:
Bücher
Angebote:
1 Shop
Preisspanne:
64,10 € – 64,10 €
Preisalarm

Bester Preis

1 Angebot

ab 64,10 €

Günstigstes Angebot

Anzeige

preigu

Versandkostenfrei · 4-7 Werktage

64,10 €

Gesamt 64,10 €

Zum Shop: preigu

Zuletzt aktualisiert:

Preisvergleich: 1 Angebot

Anzeige

Sortiert nach Gesamtpreis inkl. Versand · Preise inkl. MwSt. · Als „Nicht verifiziert“ markierte Angebote stammen von Shops ohne Partnerschaft und werden nie als „Bester Preis“ hervorgehoben, solange es ein Partner-Angebot gibt. Bei gleichem Gesamtpreis steht das früher gelistete Angebot zuerst. * „statt“: vom Shop angegebener Vergleichspreis (früherer Shop-Preis oder UVP), nicht von uns geprüft.

  1. Bester Preis

    64,10 €

    Gesamt: 64,10 €

    Auf Lager · 4-7 Werktage

    Versandkostenfrei

Preisverlauf

Tiefstpreis
–
Höchstpreis
–
Veränderung
–

Preisverlauf wird geladen …

Günstigster Preis über alle Shops (ohne Versand). Gespeichert wird nur, wenn sich der Bestpreis ändert; Daten älter als 12 Monate als Monats-Tiefst-/Höchstpreis.

Preisalarm

Wir schicken dir eine E-Mail, sobald dein Wunschpreis erreicht ist.

Produktbeschreibung

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of mechanical process using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oraclecomputations...

Produktdaten

Marke
Springer
Kategorie
Bücher
EAN/GTIN
9783030832049
Angebote
1 (1 verfügbar)
Preisspanne
64,10 € – 64,10 €

Ähnliche Produkte

Mehr aus Bücher

Anzeige preigu

64,10 € inkl. Versand

Zum Shop