計算モデル論入門

• タイトルヨミ: ケイサンモデルロンニュウモン
• サブタイトル: チューリング機械からラムダ計算へ
• サブタイトルヨミ: チューリングキカイカララムダケイサンエ
• シリーズ名: Information Science & Engineering／F5
• シリーズ名ヨミ: インフォメーションサイエンスアンドエンジニアリングF5
• 著編者等／著者名等: 井田哲雄‖共著 浜名誠‖共著
• 統一著者名: 井田哲雄 浜名誠
• 著編者等ヨミ／著者名等ヨミ: イダ,テツオ ハマナ,マコト
• 出版者: サイエンス社
• 出版地: 東京
• 出版年: 2006.8
• 大きさ: 4,125p
• 件名: オートマトン
• 分類: 007.1,007.1 007.1
• ISBN: 4-7819-1135-8
• マークNo: TRC000000006040165
• タイトルコード: 1009910756732
• 資料番号: 00000000000007175920
• 請求記号: 007.1/10081
• 内容紹介: 多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。
• 種別: 図書
• 配架場所: 034E0