即将离开知乎

您即将离开知乎，请注意您的账号和财产安全。

https://homepages.cwi.nl/~dadush/teaching/lattices-2018/notes/lecture-1.pdf