Erschienen: 10.09.1993 Abbildung von Dehornoy | Complexité et Décidabilité | 1993 | 12

Dehornoy

Complexité et Décidabilité

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1993. Buch. IV, 201 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56899-5

Format (B x L): 17 x 24,4 cm

Gewicht: 660 g

In französischer Sprache

Das Werk ist Teil der Reihe: Mathématiques et Applications; 12

Produktbeschreibung

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.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...