2020-03-21から1日間の記事一覧
とりあえず1周目 まえおき 定理証明手習いは"The Little Prover"の翻訳版です。出版社さんのページはこちら。物理本のみ、電子書籍のみ、両方の3つがあります。 『定理証明手習い』www.lambdanote.com 本書の特徴は↑のページに簡潔に書かれているので、子の…
とりあえず1周目 まえおき 定理証明手習いは"The Little Prover"の翻訳版です。出版社さんのページはこちら。物理本のみ、電子書籍のみ、両方の3つがあります。 『定理証明手習い』www.lambdanote.com 本書の特徴は↑のページに簡潔に書かれているので、子の…