資料詳細

検索条件

  • 著者
    リンケ珠子
ハイライト
  • 1 件中、 1 件目

チューリングの計算理論入門 貸出可

高岡 詠子／著 -- 講談社 -- 2014.2 -- 007.1

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 状態
９書庫 /007.1/タ/ 8134443356 一般 館内有

ページの先頭へ

資料詳細

書名 チューリングの計算理論入門
タイトル関連情報 チューリング・マシンからコンピュータへ
シリーズ名 ブルーバックス
著者名 高岡 詠子 ／著  
出版者 講談社
出版年 2014.2
ページ数 222p
大きさ 18cm
一般件名 オートマトン , 計算量理論
NDC分類(9版) 007.1
著者紹介 東京都生まれ。慶應義塾大学大学院理工学研究科計算機科学専攻博士課程修了。上智大学理工学部情報理工学科准教授。博士(工学)。共著に「学びとコンピュータハンドブック」など。
内容紹介 コンピュータの万能性を保証する数学的基礎になった、万能計算機の数学的モデル「チューリング・マシン」について解説するとともに、有名な「チューリング・マシンの停止問題」も分かりやすく説明する。
ISBN 4-06-257851-6
ISBN13桁 978-4-06-257851-6

ページの先頭へ