資料詳細

【図書】計算モデル論入門チューリング機械からラムダ計算へ ( Ｉｎｆｏｒｍａｔｉｏｎ　Ｓｃｉｅｎｃｅ　＆　ＥｎｇｉｎｅｅｒｉｎｇＦ５ )

井田　哲雄　共著 -- サイエンス社 -- ２００６．８ -- 007.1

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
105212658	/007.1/70/	県立図書館	集密１	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	計算モデル論入門
副書名	チューリング機械からラムダ計算へ
叢書名	Ｉｎｆｏｒｍａｔｉｏｎ　Ｓｃｉｅｎｃｅ　＆　Ｅｎｇｉｎｅｅｒｉｎｇ
著者	井田　哲雄　共著 , 浜名　誠　共著
出版者	東京　サイエンス社
出版年	２００６．８
ページ数	１２５ｐ
大きさ	２１ｃｍ
内容細目注記	文献：ｐ１２１～１２２
一般件名	オートマトン
NDC分類	007.1
内容紹介	多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
ISBN	4-7819-1135-8
本体価格	￥１４００