[email protected]
Risponderemo entro 24 ore
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 €
Punto BRT 7.99 €
DHL 7.99 €
HR Parcel 7.49 €
GLS 3.99 €
Contatto
Come acquistare
Aiuto
Consegna
BRT 7.99 €
Punto BRT 7.99 €
DHL 7.99 €
HR Parcel 7.49 €
GLS 3.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
Guida all'acquisto
Siamo qui per te!
[email protected]
Il mio account
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
▸
Vuoto :-(
0
Complexité et Décidabilité
Lingua
Francese
Francese
Libro
In brossura
Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théor...
Descrizione completa
Codice Libristo: 01565665
?
217 b
217 b
91.94
€
Magazzino esterno in piccole quantità
Inviamo tra 13-16 giorni
30 giorni per il reso
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.
Informazioni sul libro
Titolo completo
Complexité et Décidabilité
Autore
Patrick Dehornoy
Lingua
Francese
Francese
Rilegatura
Libro - In brossura
Data di pubblicazione
2007
Numero di pagine
201
EAN
9783540568995
ISBN
3540568999
Codice Libristo
01565665
Casa editrice
Springer, Berlin
Peso
316
Dimensioni
157 x 244 x 235
