Code: 01565665

Complexité et Décidabilité

Name: Complexité et Décidabilité
Brand: Springer, Berlin
SKU: 01565665
Price: 67.07 EUR
Availability: InStock
Author: Patrick Dehornoy
ISBN: 9783540568995

by Patrick Dehornoy

Language: French
Binding: Paperback
Number of pages: 201
Publisher: Springer, Berlin, 2007
More about this

67.07 €

RRP: 72.63 €

You save 5.56 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Tomorrow, the Killing
11.83 € -25 %
Buy
Manual of Mulligan Concept
52.20 € -7 %
Buy
The Naked Trader (sixth edition)
15.98 € -25 %
Buy
Assassin's Creed Vol. 1: Trial by Fire
11.83 € -25 %
Pre-order
Learning Kali Linux
42.38 € -24 %
Buy
Nita
15.87 € -10 %
Buy
Filosofie Hercula Poirota
12.13 € -16 %
Buy
Arms and Arms Makers of Connecticut, 1633 - 2015
119.08 €
Buy
Reeds 21st Century Ship Management
40.87 € -3 %
Buy
Teenage Renaissance - tome 1
11.73 €
Buy
Crowdsourcing
102.99 € -7 %
Buy
Religion and Human Security
66.16 €
Buy
Che Guevarův pražský příběh
10.41 € -15 %
Buy
Statistical Methods for the Sciences: A First Course
46.63 €
Buy
Tigrie oči
6.97 € -29 %
Buy
Lyautey and the French Conquest of Morocco
148.72 € -4 %
Buy
Geschichte der Leipziger Zeitung: zur Erinnerung an das zweihundertjährige Bestehen der Zeitung
25.39 € -2 %
Buy
Das Kirschblütenfest
7.38 € -8 %
Buy
Plasticity and Regeneration of the Nervous System
102.99 € -7 %
Buy
Der Savonius-Rotor
15.27 € -10 %
Buy
Die Hexen von Salem (Hexenjagd) - DEFA-Kinofassung & Extended Edition (2 Blu-rays)
22.05 €
Buy
Qur'an
121.30 €
Buy
Gitar Egitimi 1 - Sarki Calmak
27.11 € -4 %
Buy
Harry Rowohlt erzählt sein Leben von der Wiege bis zur Biege
23.36 € -11 %
Buy
Lucy
5.55 € -25 %
Pre-order
Words' Worth
30.44 € -10 %
Buy
Textile Processes
152.57 € -25 %
Buy
Feedback Shift Registers
20.83 € -7 %
Buy
Cure for a Cuckold
17.29 € -2 %
Buy
English Literature, 1660-1800
138.60 €
Buy
Cabin in the Woods: The Official Visual Companion
19.11 € -25 %
Pre-order
Läsgodis
12.64 € -10 %
Buy
Catalogue des diplomes 2023
25.08 €
Buy
Guide de l'Art Chretien: Etudes d'Esthetique Et d'Iconographie. Tome 4
34.49 €
Buy
Modelling of Plasmonic and Graphene Nanodevices
102.99 € -7 %
Buy
Nursery Rearing of Nonhuman Primates in the 21st Century
205.79 € -7 %
Buy
Walter Benjamin
32.37 €
Buy
C++ for VB Programmers
38.84 € -25 %
Buy
Elijah - Men & Women of the Bible Revised
9.70 € -9 %
Buy
Community Farm Boyhood
18.40 € -1 %
Buy
Galien, Oeuvres: Tome VII: Les OS Pour Les Debutants - L'Anatomie Des Muscles.
79.31 €
Buy
Mr Badger and the Big Surprise
9.50 € -22 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 162 loyalty points

Book synopsis

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.