「ラムダ計算を全くの基礎から解説し、計算可能性との関係、ベームの木、ラムダモデルなど、かなり高度な内容まで」。「前知識なしで読み通せるくらい親切」。「高度な内容までほとんど省略なく」。

masugata_kmasugata_k のブックマーク 2007/10/31 22:44

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

Amazon.co.jp: 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座): 高橋正子: 本

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう