Michael Clarkson的Software Foundation

admin

本人近期油管搬运，翻译加注释的Michael Clarkson的Software Foundation，卷1，Logical Foundations课程，已登录B站，欢迎大家前往围观。

http://t.cn/A6oHI6tC （帐号名称：公开课译注）

目前已经更新至第8期视频，会持续更新。B站帐号将专注于计算机语言理论，定理证明器，类型论，证明论，数理逻辑等方面内容。你希望看到哪些油管资源可以在评论里告知，会考虑高质量搬运