Name: Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit (Essentials) (German Edition) [Soft Cover ] (en Alemán)
Price: 21970.00 CLP
Availability: InStock
Author: Zimmermann, Karl-Heinz
ISBN: 9783658317386

portada Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit (Essentials) (German Edition) [Soft Cover ] (en Alemán)

Formato

Libro Físico

Editorial

Springer Spektrum

Autor

Zimmermann, Karl-Heinz

Idioma

Alemán

N° páginas

Encuadernación

Tapa Blanda

ISBN13

9783658317386

Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit (Essentials) (German Edition) [Soft Cover ] (en Alemán)

Zimmermann, Karl-Heinz (Autor) · Springer Spektrum · Tapa Blanda

Libro Físico

$ 21.970

$ 43.930

Ahorras: $ 21.960

50% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 05 de Julio y el Lunes 15 de Julio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit (Essentials) (German Edition) [Soft Cover ] (en Alemán)"

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.