摘要：
感觉第一节课都差不多 推荐了Software Foundations，搜了一圈发现非常劝退....但还是磨磨蹭蹭看完了Lists 书上说不建议贴答案和题解，那就不贴了吧（ developing general abstractions, or building blocks, for solving 阅读全文
摘要：
Basic Set Theory 没啥好讲的 \(\bigcap S=\left\{\;x\;|\; \forall T\in S,x\in T \;\right\}\) 记 \(R=\bigcap\emptyset\)，则 \(\forall x. \forall T\in\emptyset\we 阅读全文