Operating Systems: Process & Thread Processes and threads Describe Processes or Programs Usually we use the Dircted Acyclic Graph(DAG) to describe the sequence of executio…

素数的判断算法比较 参与对比的几个素数判断算法： 朴素算法 朴素算法的平方优化 Miller-Rabin 素性测试 埃筛 线性筛 判断单个素数的时间复杂度 $O(n)$ $O(\sqrt{n})$ $O(k;log^3;n)$ ($k$为进行$k$轮检测) $O(n;log;log;n)$ $O(n)$ 对于朴素算法以及素性测试，判断单个素数用时较…

图论 图论 图的基本概念 (7-1) 路与回路 (7-2) 图的矩阵表示 (7-3) 欧拉图与汉密尔顿图 (7-4) 平面图 (7-5) 树与生成树 (7-7) 根树及其应用 (7-8) 主要知识点 Part 1 基本概念 图的基本概念： 图 无向图 有向图 邻边 邻点 孤立点 平凡图 零图 结点度数与边数的关系 最大度数 最小度数 平行边 自回路…

代数系统 代数结构 代数系统的引入 (5-1) 运算及其性质 (5-2) 半群 (5-3) 群与子群 (5-4) 阿贝尔群和循环群 (5-5) 陪集与拉格朗日定理 (5-7) 主要知识点 运算及其性质 代数系统 半群，群，子群 交换群、循环群 拉格朗日定理 代数系统基础 非空集合 $A$ 以及定义在集合上的若干个运算 $f_1,f_2,\dots …

集合论 $$ \begin{gather*} \left \langle \lbrace you,me \rbrace,like \right \rangle \newline Is \enspace closure? \end{gather*} $$ 集合与关系 集合的概念与表示法 (3-1) 集合的运算 (3-2) 序偶与笛卡尔积 (3-4) …

数理逻辑 命题逻辑 命题及其表示 (1-1) 联结词及其他联结词 (1-2，1-6) 命题公式与翻译 (1-3) 真值表与等价公式 (1-4) 重言式与蕴含式 (1-5) 对偶与范式 (1-7) 推理理论 (1-8) 谓词逻辑 谓词概念与表示 (2-1) 命题函数与量词 (2-2) 谓词公式与翻译 (2-3) 主要知识点 命题的概念、表示、类型（重…

周年志 2022 年 2 月 1 日这个博客站点正式上线，也恰是正月初一。 还是照例先总结一下过去一年的网站运行： 自上线以来共发布了 64 篇文章，最近一段时间更新的文章较少，12 月仅更新了 3 篇， 1 月因培训发布了两篇内容相似的讲义。但这两个月动笔的文章还是不少的，大多是写了一半或者是写写删删最后也没发表。 大概是与回到家中有关系，没有强…