Unit 1: 集合
- conjunction: 論理積
- disjunction: 論理和
- intersection: 共通部分（論理積をとった集合）
- union: 和集合（論理和をとった集合）
- power set: べき集合
- Cartesian product: 直積集合
- cardinality: 基数
- universal set: 普遍集合
Unit 2: 関数と数列
- domain: 定義域
- range: 値域
- codomain: 終域
- image: 像
- injection / one-to-one function: 単射
- surjection / onto function: 全射
- bijection: 全単射
- sequence: 数列
- arithmetic sequence: 等差数列
- geometric sequence: 等比数列
Unit 3: 組合せ論
- combination: 組合せ
- permutation: 順列
- binomial coefficients: 二項係数
- binomial identity: 二項定理の等式／公式
- derangement: 完全順列（攪乱順列）
Unit 4: 再帰と漸化式
- recurrence relation: 漸化式
- homogeneous recurrence relation: 斉次（同次）漸化式
- characteristic equation: 特性方程式
- characteristic root: 特性根
- closed formula: 閉じた式（日本語での用語は特になし？）
- explicit formula: 厳密には違うのかもしれないが、このコース内ではclosed formulaと同じ意味で使用
Unit 5: 論理学
- propositional logic: 命題論理
- predicate logic: 述語論理
- converse: 逆
- (logical) inverse: 裏
- contrapositive: 対偶
- commutative laws: 交換律
- associative laws: 結合律
- distributive laws: 分配律
- identity laws: 同一律
- negation laws: 矛盾律・排中律
- idempotent laws: べき等律
- absorption laws: 吸収律（簡約律・消去律とも？）
- involution law: 二重否定
- detachment / Modus Ponens (MP): 分離（規則）、含意除去／モーダスポネンス
- indirect reasoning / Modus Tollens (MT): 間接推論、後件否定／モーダストレンス
- disjunctive addition: 論理和の導入、選言導入則
- conjunctive simplification: 論理積の消去、連言除去則
- disjunctive simplification: 論理和の消去、選言除去則
- chain rule: 連鎖律
Unit 6: 半順序と数学的帰納法
- partial order: 半順序
- reflexive relation: 反射律
- antisymmetric relation: 反対称律
- transitive relation: 推移律
- partially ordered set / poset: 半順序集合
- equivalence relation: 同値関係
- transitive closure: 推移閉包
Unit 7: グラフ理論
- subgraph: 部分グラフ
- induced subgraph: 誘導部分グラフ
- bipartite traph: 二部グラフ
Unit 8: 代数的構造
- Abelian group: アーベル群
- modular arithmetic: 合同算術
