Berechenbarkeit

Berechnungsmodelle und Unentscheidbarkeit

AvKarl-Heinz Zimmermann

Häftad, Tyska, 2020

Del i serien essentials

154 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Mer om författaren

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Codierungstheorie

Anton Betten, Harald Fripertinger, Adalbert Kerber, Alfred Wassermann, Karl-Heinz Zimmermann

Inbunden

513 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av

Codierungstheorie

Anton Betten, Harald Fripertinger, Adalbert Kerber, Alfred Wassermann, Karl-Heinz Zimmermann

Inbunden

513 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr