暑假学点啥
安排一下暑假日程。
日常
俄语:
Learn Russian in 365 days
:一天一课
《中国城》
;
王力《古代汉语》:一天一段文选,5 个常用词;
七月
七月都在上代数和 lean,趁这个机会好好学学。
代数:
认真做
习题
;
把 Bosch 前四章给读了;
随缘读范畴论;
可以参考
Chapter 0
和李文威;
电脑:
Theorem proving in lean
;
Function programming in lean
;
继续读
Lambda calculus and Combinators
;
进一步了解类型论:
Coq 的类型论
;
Mario 的文章 —— Type theory of Lean
;
HoTT Book 前几章,或者
An introduction of HoTT
;
可以参考
这个日程
;
八月
这时候应该比较闲了
逻辑:已经到了不可不读的地步了!
目前没什么想法,跟着
Bimsa logic
的课时走吧;
范畴论:没啥说的,读完七月欠下的债;
书籍:很久没读书了,应该读点东西
暂定,总之学校的书我肯定不会带回家的;
其他任务就不布置了,因为毕竟是
暑假
。