Patrick Dehornoy: Complexité et Décidabilité

Cover: 9783540568995 | Complexité et Décidabilité | Patrick Dehornoy | Taschenbuch | iv

Rückseite: 9783540568995 | Complexité et Décidabilité | Patrick Dehornoy | Taschenbuch | iv

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Französisch

63,80 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. En faisant reposer toutes les preuves sur le codage de l'arrêt d'une machine de Turing, on a souligné l'homogénéité et l'unité profonde des résultats presentés. L'approche par les machines de Turing est très accessible grâce à la familiarité donnée aujourd'hui par l'informatique. Le livre n'est pas une encyclopédie exhaustive, mais parvient de façon rapide à démontrer un choix de résultats réprésentatifs de l'ensemble de la théorie.

Details

Erscheinungsjahr:	1993
Fachbereich:	Grundlagen
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	Mathématiques et Applications
Inhalt:	iv 201 S.
ISBN-13:	9783540568995
ISBN-10:	3540568999
Sprache:	Französisch
Einband:	Kartoniert / Broschiert
Autor:	Dehornoy, Patrick
Hersteller:	Springer Springer-Verlag GmbH Mathématiques et Applications
Verantwortliche Person für die EU:	Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße:	244 x 170 x 12 mm
Von/Mit:	Patrick Dehornoy
Erscheinungsdatum:	10.09.1993
Gewicht:	0,369 kg