資料詳細

チューリングを読む利用可

チャールズ・ペゾルド／著 -- 日経ＢＰ社 -- 2012.6 -- 548.2

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
鳥取県立	書庫	548.2/ﾍｿﾙ/一般Ｈ	118700650	一般	利用可

タイトル	チューリングを読む
書名ヨミ	チューリング　オ　ヨム
副書名	コンピュータサイエンスの金字塔を楽しもう
著者名	チャールズ・ペゾルド／著, 井田哲雄／訳, 鈴木大郎／訳, 奥居哲／訳, 浜名誠／訳, 山田俊行／訳
著者ヨミ	ペゾルド，チャールズ , イダ，テツオ , スズキ，タロウ , オクイ，サトシ , ハマナ，マコト , ヤマダ，トシユキ
出版者	日経ＢＰ社
出版年	2012.6
ページ数等	５９３ｐ
大きさ	２０ｃｍ
内容細目	文献あり　索引あり
原書名	Ｔｈｅ　ａｎｎｏｔａｔｅｄ　Ｔｕｒｉｎｇ．∥の翻訳
一般件名	チューリング機械
ISBN	4-8222-8372-0
ISBN13桁	978-4-8222-8372-8
定価	３０００円
問合わせ番号（書誌番号）	1101865936
NDC8版	548.2
NDC9版	548.2
内容紹介	コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」（１９３６）の本当の意味がわかる。
著者紹介	【井田】筑波大学名誉教授。専門はコンピュータサイエンス。著書に「計算モデルの基礎理論」「計算モデル論入門チューリング機械からラムダ計算へ」など。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証。

タイトル	著者名	ページ
第１部　基礎（ディオファントスここに眠る；無理数と超越数；進歩の世紀）
第２部　計算可能数（アラン・チューリングの受けた教育；動く機械；加算と乗算；またの呼び名はサブルーチン；すべては数；万能機械；コンピュータと計算可能性；機械と人間）
第３部　決定問題（論理と計算可能性；計算可能関数；主要な証明；ラムダ計算；連続体をめぐって）
第４部　展望（万物はチューリング機械か；ディオファントスの長き眠り）