Complexité et Décidabilité
CHF 89.95
Auf Lager
SKU
PHLFHTE3C4C
1 Verfügbar 
Kostenloser Versand
Geliefert zwischen Mi., 05.11.2025 und Do., 06.11.2025
Details
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.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- Sprache Französisch
- Titel Complexité et Décidabilité
- Veröffentlichung 10.09.1993
- ISBN 3540568999
- Format Kartonierter Einband
- EAN 9783540568995
- Jahr 1993
- Größe H244mm x B170mm x T12mm
- Autor Patrick Dehornoy
- Untertitel Mathematiques et Applications 12, Mathématiques et Applications 12
- Gewicht 369g
- Auflage 1993
- Lesemotiv Verstehen
- Anzahl Seiten 208
- Herausgeber Springer Berlin Heidelberg
- GTIN 09783540568995
Bewertungen
Schreiben Sie eine Bewertung
