Complexite et Decidabilite - Matematiques et App - P. Dehornoy - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540568995 - 1993年9月10日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

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

価格
¥ 11.389
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月24日 - 年10月6日
P. Dehornoy の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

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.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年9月10日
ISBN13 9783540568995
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 200
寸法 230 × 11 × 154 mm   ·   299 g
言語 フランス語  

同じ出版社からのその他の記事

P. Dehornoyのすべてを見る