チューリング マシン セツメイ デキマスカ
チューリングマシン説明できますか? / 坂井久司著
| データ種別 | 図書 |
|---|---|
| 出版者 | 東京 : カットシステム |
| 出版年 | 2013.9 |
| 本文言語 | 日本語 |
| 大きさ | vii, 196p ; 21cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | ISBN | 資料種別 | 利用注記 | 請求メモ | 予約 |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
007.2/Sa29 | 010640191 | 9784877833275 | 図書 |
|
|
|
書誌詳細を非表示
類似資料
- 1 インフォメーション : 情報技術の人類史 / ジェイムズ・グリック著 ; 楡井浩一訳
- 2 メディア / クライブ・ギフォード著
- 3 不完全性定理と算術の体系 / 田中一之編
- 4 コンピューター発達史 : IBMを中心にして / 日本経営史研究所編集協力
- 5 ゲーデルの20世紀 / 田中一之編
- 6 完全性定理とモデル理論 / 田中一之編
- 7 集合論とプラトニズム / 田中一之編
- 8 チューリングの計算理論入門 : チューリング・マシンからコンピュータへ / 高岡詠子著
- 9 数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで / 瀬山士郎著
- 10 離散構造 / 小島定吉著