資料詳細

  • 1 件中、 1 件目

計算モデル論入門 在庫

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

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
書庫（３Ｆ） /007.1/ﾆ68/ 12657201 一般 帯出可 配架中 iLisvirtual

ページの先頭へ

資料詳細

タイトル 計算モデル論入門
副書名 チューリング機械からラムダ計算へ
叢書名 Information Science & Engineering
責任表示 井田 哲雄 ／共著, 浜名 誠 ／共著  
出版者 サイエンス社
出版年 2006.8
ページ数 4,125p
大きさ 21cm
一般件名 オートマトン
NDC分類(9版) 007.1
内容紹介 多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
ISBN 4-7819-1135-8
本体価格 ¥1400

ページの先頭へ