2026/01/14
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| タイトル｡ |
チューリングを読む(チューリング オ ヨム)｡
外部サイトで調べる: 
|
| 副書名｡ |
コンピュータサイエンスの金字塔を楽しもう(コンピュータ サイエンス ノ キンジトウ オ タノシモウ)｡
|
| 著者名等｡ |
チャールズ・ペゾルド∥著(ペゾルド,チャールズ)｡
|
| 井田哲雄∥訳(イダ,テツオ)｡
|
| 鈴木大郎∥訳(スズキ,タロウ)｡
|
| 奥居哲∥訳(オクイ,サトシ)｡
|
| 浜名誠∥訳(ハマナ,マコト)｡
|
| 山田俊行∥訳(ヤマダ,トシユキ)｡
|
| 出版者｡ |
日経BP社／[東京]｡
|
| 出版年｡ |
2012.6｡
|
| 発売者｡ |
日経BPマーケティング｡
|
| ページと大きさ｡ |
593p／20cm｡
|
| 件名｡ |
チューリング機械｡
|
| Turing,Alan Mathison｡
|
| 分類｡ |
NDC8 版：548.2｡
|
| NDC9 版：548.2｡
|
| ISBN｡ |
978-4-8222-8372-8｡
|
| 4-8222-8372-0｡
|
| 価格｡ |
3000円｡
|
| タイトルコード｡ |
1105092805｡
|
| 内容紹介｡ |
チューリングの「計算可能数とその決定問題への応用」の原論文を楽しむためのガイドブック。チューリング機械を動かして、コンピュータと数学の限界に答えを出す。不朽の論文の本当の意味がわかる1冊。｡
|
| 著者紹介｡ |
【井田】筑波大学名誉教授。専門はコンピュータサイエンス。著書に「計算モデルの基礎理論」「計算モデル論入門チューリング機械からラムダ計算へ」など。研究分野は記号計算、書換えの理論、コンピュータ折紙、制約関数論理プログラミング、ソフトウェア検証。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料｡ |
貸出可能な資料｡ |
貸出中の資料｡ |
予約数｡ |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
| 番号｡ |
資料番号｡ |
所蔵館｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 2012411340｡
|
- 所蔵館：
- 若狭図書学習センター｡
|
- 配架場所：
- 棚番号１１棚番号１１｡
|
- 請求記号：
- 548.2/ﾁﾕﾘ｡
|
- 状態：
- 在架｡
|
このページのURL：http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1105092805