😸

ホーア論理概略(pdf)

2025/01/21に公開

以前Xで公開したホーア論理概略の解説pdfを一応Zennでも公開しておきます。
ただし、すべての定義を載せているわけではなく、だいぶWinskelの『プログラミング言語の形式的意味論入門』の6, 7章の内容を前提としているので、教科書のお供程度に考えてください。

https://drive.google.com/file/d/1Q9_de6I61HMEldHbZQ9CXAMzWL3Vq48s/view?usp=sharing

Discussion