検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	所蔵場所	配架場所	帯出区分	状態	貸出
1	ミライｏｎ	1119228111	007.1/ﾀ-14/	３F	閉架図書	帯出可	在庫	○

この資料の書誌詳細情報です。

書誌種別	図書（一般）
著者名	高岡詠子／著
著者名ヨミ	タカオカエイコ
出版者	講談社
出版年月	2014.2
ページ数	222p
大きさ	18cm
ISBN	4-06-257851-6
分類記号	007.1
書名	チューリングの計算理論入門　(ブルーバックス)
書名ヨミ	チューリングノケイサンリロンニュウモン
副書名	チューリング・マシンからコンピュータへ
副書名ヨミ	チューリングマシンカラコンピュータエ
内容紹介	コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。
著者紹介	〈高岡詠子〉東京都生まれ。慶応義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。