商品詳細 | Knowledge Worker

Computability Theory(Chapman Hall/CRC Mathematics Series) H 420 p. 03

在庫状況お取り寄せ	お届け予定日 10日間	数量冊
価格 \37,390（税込）

この商品について問合せる

発行年月	2003年11月
出版社／提供元	Chapman & Hall/CRC
出版国	アメリカ合衆国
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	420 p.
ジャンル	洋書／理工学／情報科学／情報科学基礎
ISBN	9781584882374
商品コード	0200157189
本の性格	学術書
新刊案内掲載月	2002年04月
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0200157189

内容

Offers an introduction to contemporary computability theory, techniques,and results. This book places the basic concepts and techniques ofcomputability theory in their historical, philosophical and logical context.It includes a chapter that explores a variety of computability applicationsto mathematics and science.

COMPUTABILITY, AND UNSOLVABLE PROBLEMS: Hilbert and the Origins of Computability Theory. Models of Computability and the Church-Turing Thesis. Language, Proof and Computable Functions. Coding, Self-Reference and Diagonalisation. Enumerability and Computability. The Search for Natural Examples of Incomputable Sets. Comparing Computability. Gödel's Incompleteness Theorem. Decidable and Undecidable Theories. INCOMPUTABILITY AND INFORMATION CONTENT: Computing with Oracles. Nondeterminism, Enumerations and Polynomial Bounds. MORE ADVANCED TOPICS: Post's Problem: Immunity and Priority. The Computability of Theories. Forcing and Category. Applications of Determinacy. Computability and Structure.

カート

カートに商品は入っていません。

前のページに戻る