归档 | Xiaoqiang Wu

14篇博文。长路漫漫！

10 Apr 2020 Induction, Coinduction, and Fixed Points 解析
22 Sep 2019 Data Refinement 阅读笔记(4)
20 Sep 2019 Data Refinement 阅读笔记(3)
15 Sep 2019 LaTex 页面设置
11 Sep 2019 Data Refinement 阅读笔记(2)
10 Sep 2019 《面向计算机科学的数理逻辑:系统建模与推理》阅读笔记(4)
10 Sep 2019 《面向计算机科学的数理逻辑:系统建模与推理》阅读笔记(3)
09 Sep 2019 《面向计算机科学的数理逻辑:系统建模与推理》阅读笔记(2)
09 Sep 2019 《面向计算机科学的数理逻辑:系统建模与推理》阅读笔记(1)
09 Sep 2019 Data Refinement 阅读笔记(1)
08 Sep 2019 最小和截段
08 Sep 2019 形式化验证简析
02 Sep 2019 开通第一个学会会员－CCF学生会员
04 Jun 2018 毕业啦