- Start
- Complexité et Décidabilité
Complexité et Décidabilité
Angebote / Angebote:
Cet ouvrage pr¿nte les bases de la th¿ie de la complexit¿es algorithmes et en derive les th¿¿s fondamentaux de d¿dabilit¿t d'ind¿dabilit¿our la logique et l'arithm¿que, dont le premier th¿¿ d'incompl¿de de G¿del. En faisant reposer toutes les preuves sur le codage de l'arr¿d'une machine de Turing, on a soulign¿'homog¿it¿t l'unit¿rofonde des r¿ltats present¿ L'approche par les machines de Turing est tr¿accessible gr¿ ¿a familiarit¿onn¿aujourd'hui par l'informatique. Le livre n'est pas une encyclop¿e exhaustive, mais parvient de fa¿ rapide ¿¿ntrer un choix de r¿ltats r¿¿ntatifs de l'ensemble de la th¿ie.
Folgt in ca. 10 Arbeitstagen
Preis
83,00 CHFVerfügbarkeit:
LieferbarArtikel, die Sie kürzlich angesehen haben
Noch nicht erschienen, März 2024
Lieferbar in ca. 5-10 Arbeitstagen