Complexite et Decidabilite - Matematiques et App - P. Dehornoy - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540568995 - 10. septembra 1993
Če se naslovnica in naslov ne ujemata, je naslov pravilen

P. Dehornoy
Complexite et Decidabilite - Matematiques et App French, 1993 edition

Cena
€ 64,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 30. okt - 9. nov
Prejemajte obvestila o novih izdajah izvajalca P. Dehornoy

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

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.

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 10. septembra 1993
ISBN13 9783540568995
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 200
Dimenzije 230 × 11 × 154 mm   ·   299 g
Jezik Francoščina  

Več od istega **izdajatelja**

Ogled vseh P. Dehornoy