ぞうしょじょうほう
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
本のばしょ
各蔵書資料に関する詳細情報です。
No. |
としょかん |
本のばんごう |
本のしゅるい |
本のばしょ |
くわしいばしょ |
せいげん |
じょうたい |
1 |
鶴舞 | 0236015905 | 一般和書 | 2階開架 | パソコン | | 在庫 |
かんれんしりょう
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
チャールズ・ペゾルド 井田哲雄 鈴木大郎 奥居哲 浜名誠 山田俊行
Turing,Alan Mathison オートマトン
しょししょうさい
この資料の書誌詳細情報です。
本のきごう |
0071/00205/ |
本のだいめい |
チューリングを読む コンピュータサイエンスの金字塔を楽しもう |
書いた人の名前 |
チャールズ・ペゾルド/著
井田哲雄/訳
鈴木大郎/訳
|
しゅっぱんしゃ |
日経BP社
|
しゅっぱんねんげつ |
2012.6 |
ページすう |
593p |
おおきさ |
20cm |
ISBN |
978-4-8222-8372-8 |
はじめのだいめい |
The annotated Turing |
ぶんるい |
0071
|
いっぱんけんめい |
オートマトン
|
こじんけんめい |
Turing,Alan Mathison
|
本のしゅるい |
一般和書 |
ないようちゅうき |
読書案内:p580〜584 |
ないようしょうかい |
コンピュータサイエンスの歴史に残るチューリングの論文「計算可能数とその決定問題への応用」(1936年)を丹念に注釈。苦闘の痕跡までが息づいている、チューリングのオリジナルの論文の真髄を明らかにする。 |
タイトルコード |
1001210026288 |
ようし |
コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」(1936)の本当の意味がわかる。 |
もくじ |
第1部 基礎(ディオファントスここに眠る 無理数と超越数 進歩の世紀) 第2部 計算可能数(アラン・チューリングの受けた教育 動く機械 加算と乗算 またの呼び名はサブルーチン すべては数 万能機械 コンピュータと計算可能性 機械と人間) 第3部 決定問題(論理と計算可能性 計算可能関数 主要な証明 ラムダ計算 連続体をめぐって) 第4部 展望(万物はチューリング機械か ディオファントスの長き眠り) |
ちょしゃじょうほう |
ペゾルド,チャールズ プログラミング分野の書籍を多数執筆(本データはこの書籍が刊行された当時に掲載されていたものです) 井田 哲雄 筑波大学名誉教授。専門はコンピュータサイエンス。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証(本データはこの書籍が刊行された当時に掲載されていたものです) 鈴木 大郎 会津大学コンピュータ理工学部コンピュータ理工学科准教授。研究分野は記号計算、書換え系、関数型プログラミング、XML、オートマトンなど(本データはこの書籍が刊行された当時に掲載されていたものです) 奥居 哲 中部大学工学部情報工学科准教授。研究分野は記号計算(オートマトン、書換え系、関数型プログラミングなど)(本データはこの書籍が刊行された当時に掲載されていたものです) 浜名 誠 群馬大学工学研究科情報工学専攻助教。研究分野はプログラミング言語の数学的モデル、特に圏論的意味論、関数型プログラミング、依存型理論、高階書換え系など(本データはこの書籍が刊行された当時に掲載されていたものです) 山田 俊行 三重大学大学院工学研究科情報工学専攻講師。研究分野は書換え系、等式論理、自動推論、ソフトウェアの解析と検証など(本データはこの書籍が刊行された当時に掲載されていたものです) |
ないよう細目表:
前のページへ