Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Genre: Mathematics
ISBN: 9783540568995, 9783540568995
Pages: 201
Description
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 Goedel. 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.
Read More
Specifications
Book Details
Title
Complexite et Decidabilite
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Product Form
Paperback
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Source ISBN
9783540568995
Genre
Mathematics
ISBN13
9783540568995
Book Category
Higher Education and Professional Books
BISAC Subject Heading
MAT018000
Book Subcategory
Mathematics and Science Books
ISBN10
9783540568995
Language
French
Dimensions
Width
11 mm
Height
244 mm
Length
170 mm
Weight
660 gr
Be the first to ask about this product
Safe and Secure Payments.Easy returns.100% Authentic products.