Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit (Bog, Paperback / softback, Tysk) af Karl-Heinz Zimmermann
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit

Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit

(Bog, Paperback / softback, Tysk)
Forfatter: Karl-Heinz Zimmermann
Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit
Forlag: Springer Fachmedien Wiesbaden

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Fachmedien Wiesbaden
Forfatter Karl-Heinz Zimmermann
Type Bog
Format Paperback / softback
Sprog Tysk
Udgave 1. Aufl. 2020
Udgivelsesdato 29-10-2020
Første udgivelsesår 2020
Serie essentials
Illustrationer 7 Illustrations, black and white; XIII, 67 S. 7 Abb.
Originalsprog Germany
Sideantal 67
Indbinding Paperback / softback
Forlag Springer Fachmedien Wiesbaden
Sideoplysninger 67 pages, 7 Illustrations, black and white; XIII, 67 S. 7 Abb.
Mål 210 x 148
ISBN-13 / EAN-13 9783658317386