Cet ouvrage presente les bases de la theorie de la complexite des
algorithmes et en derive les theoremes fondamentaux de decidabilite
et d'indecidabilite pour la logique et l'arithmetique, dont le
premier theoreme d'incompletude de Godel. En faisant reposer toutes
les preuves sur le codage de l'arret d'une machine de Turing, on a
souligne l'homogeneite et l'unite profonde des resultats presentes.
L'approche par les machines de Turing est tres accessible grace a
la familiarite donnee aujourd'hui par l'informatique. Le livre
n'est pas une encyclopedie exhaustive, mais parvient de facon
rapide a demontrer un choix de resultats representatifs de
l'ensemble de la theorie.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
