プログラム意味論 (情報数学講座) の感想
参照データ
タイトル | プログラム意味論 (情報数学講座) |
発売日 | 販売日未定 |
製作者 | 横内 寛文 |
販売元 | 共立出版 |
JANコード | 9784320026575 |
カテゴリ | ジャンル別 » 科学・テクノロジー » 数学 » 一般 |
購入者の感想
ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。
丁寧な解説、証明があり、初学者でもステップアップしながら読んでいけるのがこの本のよいところ。
残念ながら現在廃刊となっている。
この本に並ぶ良書が現在ないためぜひ復刊を望む。
復刊サイト
[]
丁寧な解説、証明があり、初学者でもステップアップしながら読んでいけるのがこの本のよいところ。
残念ながら現在廃刊となっている。
この本に並ぶ良書が現在ないためぜひ復刊を望む。
復刊サイト
[]