940 字 1 分钟

# 基本概念 命题逻辑是基于命题实现推理的代数系统。 # 命题 可判断真伪的陈述句称为命题 (proposition). 需要注意的是，作为基本概念，命题不存在一个完整、规范的定义。 # 命题变元和命题常元 研究命题的普遍性质时，将命题抽象为未知变量，称为命题变元，通常采用字母 p,q,rp, q, rp,q,r 等表示。 对于确定的真命题，用 111 表示；对于确定的假命题，用 000 表示，两者统称命题常元。 这样，命题常元和命题变元就是定义在 Z2\mathbb{Z}_2Z2​ 上的已知量和未知量。 # 命题的运算 # 真值函数 函数 f:Z2n→Z2f:\mathbb{Z}_2^n...
767 字 1 分钟

主要以 Java 为代表分析面向对象语言的特点，此外也有 C++ 和 Python 等语言。

872 字 1 分钟

# 概述 # 稳定性 稳定性是指相等的元素经过排序之后相对顺序是否发生了改变。拥有稳定性这一特性的算法会让原本有相等键值的纪录维持相对次序，即如果一个排序算法是稳定的，当有两个相等键值的纪录 RRR 和 SSS，且在原本的列表中 RRR 出现在 SSS 之前，在排序过的列表中 RRR 也将会是在 SSS 之前。 基数排序、计数排序、插入排序、冒泡排序、归并排序是稳定排序。 选择排序、堆排序、快速排序、希尔排序不是稳定排序。 # 快速排序 该部分内容来自算法导论。 快速排序是基于归并的原地排序算法，期望时间复杂度 O(nlog⁡n)O(n \log n)O(nlogn), 最坏时间复杂度...
2.3k 字 2 分钟

# 单源最短路问题 # 基本概念 # 初始化 初始化过程定义顶点的最短距离 d[v] , 边权值矩阵 w[u][v] 和前驱数组 pi[v] . initializeSingleSourcevoid initializeSingleSource(Graph G, int s) { for (int v:G.vertices) { d[v] = INT_MAX; pi[v] = NULL; } d[s] = 0; // source}# Bellman-Ford...
2.3k 字 2 分钟

# 级数 # 数项级数 数项级数的基本收敛判别是采用定义和柯西收敛准则判别。 # 定义 对级数 ∑n=0∞an\sum_{n=0}^\infty a_n∑n=0∞​an​, 定义部分和 (partial sum) Sn≔∑k=1nakS_n \coloneqq \sum_{k=1}^n a_k Sn​:=k=1∑n​ak​ 若部分和数列收敛，则称该级数收敛。反之，若部分和数列发散，则称该级数发散。 # 正项级数 对于正项级数，下述三种判别方法比较常用。分别是： 达朗贝尔判别法 (d'Alembert) 拉比判别法 (Raabe) 柯西判别法 (Cauchy) #...
3.5k 字 3 分钟

# 单变元微分学 # 定义 # 可微 设函数 fff 在某邻域 U(x0,δ)U(x_0, \delta)U(x0​,δ) 内有定义，则若 ∃A∈R\exists A \in \mathbb{R}∃A∈R (AAA 是不依赖于 xxx 的常数) 使得 f(x)=f(x0)+A(x−x0)+o(x−x0)f(x) = f(x_0) + A(x-x_0) + o(x-x_0) f(x)=f(x0​)+A(x−x0​)+o(x−x0​) 当 x→x0x \to x_0x→x0​ 时成立，则称 fff 在 x0x_0x0​ 处可微 (differentiable), 并称...