トップページ
⇒
informatics
185コメント
84KB
λ-calculus.λ計算.(lambda calculus)
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています
0006
名無しさん@お腹いっぱい。
2006/12/08(金) 01:49:33
ID:fx6EeyNJ0
日本語英語を問わず,初学者向けに基礎から解説している文献があったら
教えていただけませんか? アマゾンの書評を見て,
高橋正子,『計算論:計算可能性とラムダ計算』, ISBN4-7649-0184-6, 1991
を買ってみたんですが,自分には難しすぎて独習は絶望的に思えます.
全部
前100
次100
最新50
■ このスレッドは過去ログ倉庫に格納されています