ウィキペディア |
 
|
ラムダ計算
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2012/04/25 03:44 UTC 版)
(Λ計算 から転送)
ラムダ計算（lambda calculus）は、理論計算機科学や数理論理学における、関数の定義と実行を抽象化した計算体系である。ラムダ算法とも言う。
[続きの解説]
「ラムダ計算」の続きの解説一覧
ラムダ計算と同じ種類の言葉
ラムダ計算に関連した本
- 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) 高橋 正子 近代科学社
- 計算モデル論入門―チューリング機械からラムダ計算へ (Information Science & Engineering (F5)) 浜名 誠 サイエンス社
- 入門Common Lisp―関数型4つの特徴とλ(ラムダ)計算 新納 浩幸 毎日コミュニケーションズ
ラムダ計算に関係した商品
- 【送料無料】 計算論 計算可能性とラムダ計算 コンピュータサイエンス大学講座 / 高橋正子 【全集・双書】HMV ローソンホットステーション R
- 【送料無料】 計算モデル論入門 チューリング機械からラムダ計算へ INFORMATION SCIENCE & ENGINEER / 井田哲雄 【全集・双書】HMV ローソンホットステーション R
- 【送料無料】計算論楽天ブックス
ラムダ計算のページへのリンク
