niszetの日記

アナログCMOS系雑用エンジニアが頑張る備忘録系日記

2020-03-21から1日間の記事一覧

定理証明手習いを読んだ

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