資料詳細

  • 1 件中、 1 件目

計算モデル論入門 ( Information Science & Engineering F5 ) 貸出可

井田 哲雄／共著 -- サイエンス社 -- 2006.8 --

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
本館(和歌山市) 書庫E /007.1/ｲﾀﾞ/ 320918501 一般 在庫

ページの先頭へ

資料詳細

タイトル 計算モデル論入門 
副書名 チューリング機械からラムダ計算へ
叢書名 Information Science & Engineering
言語 日本語
著者 井田 哲雄 ／共著, 浜名 誠 ／共著  
出版者 サイエンス社
出版年 2006.8
ページ数 4,125p
大きさ 21cm
一般件名 オートマトン
内容紹介 多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
ISBN 4-7819-1135-8
著者紹介 1947年横浜生まれ。筑波大学大学院システム情報工学研究科教授。

ページの先頭へ