书中并未假定读者有逻辑学或编程语言的背景，不过一定的数学熟练度会很有帮助。 一学期的课程可以涵盖《逻辑基础》加上《编程语言基础》或《函数式算法验证》中的大部分 ... ... <看更多>

《软件基础》中译版Software Foundations Chinese Translation - GitHub - Coq-zh/SF-zh: 《软件基础》中译版Software Foundations Chinese Translation. ... <看更多>

俄國最近鎖定烏克蘭的能源設施轟炸，全國已有三成的發電廠遭到摧毀。有些民眾生活在沒水、沒電、沒瓦斯的艱困環境中，生活彷彿回到了中世紀時代。 ... <看更多>