Wilson Wang’s Blog王文轩（Wilson Wang）的个人主页：上海交通大学 ACM Honor Class 2025 级本科生，关注计算机体系结构、GPU Computing、算法与 AI。https://acm.sjtu.edu.cn/~200706215314/zh-CN线性代数：从方程组到谱分解https://acm.sjtu.edu.cn/~200706215314/blog/linear-algebra-complete-notes/https://acm.sjtu.edu.cn/~200706215314/blog/linear-algebra-complete-notes/一份以结构、几何与变换为主线的完整线性代数课程讲义。Mon, 10 Aug 2026 00:00:00 GMTLinear AlgebraMathematicsCourse Notes数理逻辑：从一阶语义到哥德尔不完备性https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_logic/https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_logic/以语法、语义、完备性与可计算性为主线，整理一阶逻辑、Henkin 构造、不可判定性及哥德尔不完备性。Sun, 07 Jun 2026 00:00:00 GMTMathematical Logic数学分析 II：多元微积分与函数项级数https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_analysis_ii/https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_analysis_ii/从单变量微积分推广到有限维空间，系统介绍多元微分、重积分、曲线曲面积分、函数项级数、幂级数与 Fourier 级数。Tue, 05 May 2026 00:00:00 GMTMathematical AnalysisMultivariable CalculusFourier AnalysisCourse Notes数学分析 I：一元微积分的理论与方法https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_analysis_i/https://acm.sjtu.edu.cn/~200706215314/blog/mathematical_analysis_i/一份以极限、连续、微分、积分和无穷级数为主线的一元数学分析课程讲义。Mon, 05 Jan 2026 00:00:00 GMTMathematical AnalysisMathematicsCourse Notes