最后一个学期了🚬
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
去德国之前也该学点德语了吧
PREVIOUSAlgebraic Effects
NEXTPPL