Complexite et Decidabilite - Matematiques et App - P. Dehornoy - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540568995 - 1993. gada 10. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 79,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 25. aug.
Saņemiet paziņojumus par jauniem P. Dehornoy izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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.

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1993. gada 10. septembris
ISBN13 9783540568995
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 200
Izmēri 230 × 11 × 154 mm   ·   299 g
Valoda Franču  

Vairāk no tā paša izdevēja

Skatīt visus P. Dehornoy ( piem., Paperback Book )