Tufts 24 Fall

 

最后一个学期了🚬

Math 275 Algebraic Topology

很不幸的用了Hatcher的书,这个书其实有很多很好的例子,但实在是太分散了 感觉完全不适合做第一次学的材料

Corey很喜欢说搞话

byc: What does Ext stand for?
Corey, facing the board, paused for a while: Existential?

Genevieve好像提到Munkres很早的一本还挺好的 AT 教材 (?) 她给的classification of surface的lecture也蛮好的

歪打误撞的差不多读到 3.1-3.2

VisualMath做了一个挺好的playlist 结果后来发现之前就经常翻到这个人的blog post

不过学这玩意儿确实是走两步哪儿都能看到Eilenberg和Mac Lane

Math 190 Logic

当成meme course上了🐶 不过ds用很简单的语言过了一遍equational logic 还挺好的

equational logic的四个rule (introduction, transitivity, substitution, replacement) 的 soundness/completeness 可见 ch14 A Course in Universal Algebra 据说 George Grätzer 的书里也有当我没找到 Steve Awodey’s equational logic notes didn’t even bother to state it :)

CS 193

半混着去nada的seminar 半混着跟guannan做wasm

Ger 1

去德国之前也该学点德语了吧