大一上学期离散数学(1)的复习笔记，目前已完结。

肆叁小灶第二讲，介绍了 Mathematica 和 MATLAB 的基本用法，主要包括线性方程组的求解、线性空间与内积空间的相关理论、行列式、特征值与奇异值分解等内容。

肆叁小灶第一讲，介绍了 STL 库的基本用法，主要包括 deque 和 set 的使用方法以及一些常用的 STL 函数。