笔记
逐节阅读严谨的数学笔记。每页都按正式课程笔记文章撰写,只在能帮助理解定义、计算或证明思路时加入互动,并可把当前一节导出成 TXT 或 PDF 复习版本。
CSCI2520
CSCI2520:资料结构
针对 CSCI2520 资料结构基础的结构化笔记,重视操作层级推理与选择性互动示范。
章节 0
程序基础
资料结构笔记会反复用到的语言与内存工具。
章节 1
ADT 与操作语义
由 ADT 规格走向 stack/queue 行为,再进入 dictionary 形式的 hashing 操作。
章节 2
List 与 recursion
递归 list 契约、head-tail 推理,以及受 representation 影响的操作成本。
章节 3
复杂度与排序
渐进增长、成本比较与面向排序的复杂度推理。
章节 4
Trees 与 BST
Binary tree traversal、reconstruction 与 binary-search-tree operations。
章节 5
Graph 与 priority queue
Graph traversal、spanning tree、shortest path、topological sorting、heap 与 Huffman coding。
6 章节 · 9 各节
系列总览MATH1030
MATH1030:线性代数 I
以严谨方式整理的线性代数笔记,涵盖方程组、矩阵、结构与证明;互动只在真正有助理解数学时使用。
章节 1
方程组
学习把方程读成完整的解集。
章节 2
矩阵与消元
建立矩阵直觉,并有目的地使用行化简。
章节 3
矩阵代数
矩阵乘法、转置与结构化矩阵记号。
章节 4
解的结构
齐次方程组、零空间与完整解集的结构。
章节 5
可逆性
理解什么情况下矩阵可以被反转,以及这件事的重要性。
章节 6
向量空间
由矩阵程序走向空间结构、张成、无关与基底。
章节 7
行列式
行列式、余因子公式,以及把行变换、转置与可逆性连起来的结构化代数。
章节 8
特征值与对角化
特征值、特征空间、相似与对角化,作为行列式之后的下一层结构。
章节 9
内积与正交性
内积、正交性、标准正交基与 Gram-Schmidt,作为特征值之后的几何层次。
9 章节 · 25 各节
系列总览MATH1090
MATH1090:集合论
以严谨课程笔记方式整理的逻辑、集合、数系构造、实数、极限、基数与第一批代数结构笔记,按相互关联的小节撰写,重视证明与例子。
章节 1
逻辑
处理陈述、连接词与量词的推理工具。
章节 2
集合与关系
基本的集合语言、函数与关系。
章节 3
由构造得到的数系
自然数、整数与有理数如何构造,以及 Q 还欠缺什么。
章节 4
序与完备性
全序、上下界、上确界与下确界,以及 Q 与 R 的完备性差异。
章节 5
序列与最初的极限理论
序列、Cauchy 收敛,以及函数极限的第一轮 delta-epsilon 处理。
章节 6
大型集合
基数、可数性、Cantor 定理、选择原则、区间、Cantor set、稠密性与良序。
章节 7
带结构的集合
二元运算,以及建立在集合之上的第一批代数结构。
7 章节 · 23 各节
系列总览