Code: 01565665

Complexité et Décidabilité

Name: Complexité et Décidabilité
Brand: Springer, Berlin
SKU: 01565665
Price: 70.53 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

70.53 €

Low in stock at our supplier
Shipping in 11 - 15 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Manual of Mulligan Concept
52.28 € -7 %
Buy
The Naked Trader (sixth edition)
16.10 € -24 %
Buy
Nita
15.80 € -10 %
Buy
Assassin's Creed Vol. 1: Trial by Fire
11.85 € -25 %
Pre-order
Testovanie 9 Testy z matematiky pre 8. ročník základných škol 2. vyd.
10.23 € -21 %
Buy
Tomorrow, the Killing
13.77 € -19 %
Buy
Filosofie Hercula Poirota
12.15 € -16 %
Buy
Statistical Methods for the Sciences: A First Course
46.71 €
Buy
Religion and Human Security
47.32 €
Buy
Tigrie oči
6.98 € -29 %
Buy
Lyautey and the French Conquest of Morocco
147.25 €
Buy
Der Savonius-Rotor
17.83 € -4 %
Buy
Das Kirschblütenfest
7.39 € -8 %
Buy
Cure for a Cuckold
17.32 € -2 %
Buy
Gitar Egitimi 1 - Sarki Calmak
27.15 € -4 %
Buy
Che Guevarův pražský příběh
10.43 € -15 %
Buy
Qur'an
121.50 €
Buy
Teenage Renaissance - tome 1
11.95 €
Buy
Arms and Arms Makers of Connecticut, 1633 - 2015
94.24 €
Pre-order
Lucy
5.56 € -25 %
Pre-order
Words' Worth
30.60 € -9 %
Buy
Textile Processes
152.82 € -25 %
Buy
English Literature, 1660-1800
131.54 €
Buy
Läsgodis
14.79 € -5 %
Buy
Cabin in the Woods: The Official Visual Companion
19.25 € -24 %
Pre-order
Geschichte der Leipziger Zeitung: zur Erinnerung an das zweihundertjährige Bestehen der Zeitung
25.43 € -2 %
Buy
Crowdsourcing
109.54 €
Buy
Feedback Shift Registers
24.31 €
Buy
Guide de l'Art Chretien: Etudes d'Esthetique Et d'Iconographie. Tome 4
34.55 €
Buy
Modelling of Plasmonic and Graphene Nanodevices
109.54 €
Buy
Nursery Rearing of Nonhuman Primates in the 21st Century
216.77 €
Buy
Elijah - Men & Women of the Bible Revised
9.72 € -9 %
Buy
C++ for VB Programmers
38.91 € -25 %
Buy
Walter Benjamin
32.62 €
Buy
Mr Badger and the Big Surprise
9.62 € -21 %
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 170 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.