离散数学5.1-二元关系一一、有序对和笛卡尔积 1、有序对（序偶）：由两个元素 x 和 y 按照确定顺序排列组成的二元组，记作⟨x, y⟩ 2、笛卡尔积：以 A 中元素为第一元、B 中元素为第二元，构造所有有序对⟨x,y⟩； 由全部这类有序对构成的集合，称为 A 与 B 的笛卡尔积，记作 AXB 例题： 已知 A={a,b}, B={0,1,2}，求笛卡尔积 A × B、B × A A × B（前元取自 A，后元取自 BJun 25, 2026·1 min read
离散数学2.2-主析取/主合取范式一、基础定义 1. 文字 单个命题变元，或单个变元带一个否定号。 是文字：p、¬q、r 不是文字：p ∧ q、¬(p ∨ q) 2. 简单合取式 若干个文字用 ∧ 连起来，内部只有 ∧。 例：p ∧ ¬q、¬p、p ∧ q ∧ r 若里面出现 A ∧ ¬A，整个式子恒等于 0。 3. 简单析取式 若干个文字用 ∨ 连起来，内部只有 ∨。 例：p ∨ ¬r、q、¬p ∨ q ∨ rJun 19, 2026·4 min read·12
离散数学2.1-等值式等值式：若A⇔B为永真式，则称A、B是等值的记作A⇔B 一、等值式 基础定律 名称 公式 直觉锚点 双重否定律 ¬¬p ⇔ p 否定两次回到原样 幂等律 p ∨ p ⇔ p p ∧ p ⇔ p 自己或自己、自己且自己，还是自己 交换律 p ∨ q ⇔ q ∨ p p ∧ q ⇔ q ∧ p 顺序不影响结果 结合律 (p∨q)∨r ⇔ p∨(q∨r) Jun 19, 2026·4 min read·12
C++ 结构体 完整笔记C++ 结构体 完整笔记 一、结构体基础概念 1. 定义语法 结构体是自定义复合数据类型，可存放多个不同类型的成员变量，C++ 中结构体和类用法高度相似，默认访问权限为 public（类默认 private）。 // 标准定义格式 struct 结构体名 { // 成员变量 数据类型 成员名1; 数据类型 成员名2; // 成员函数（C++ 支持） 函数返回Jun 16, 2026·4 min read
C++ 枚举 enum 基础笔记C++ 枚举 enum 基础笔记 一、匿名枚举 1. 代码示例 #include <iostream> using namespace std; int main(){ // 定义匿名枚举，包含三个颜色常量 enum { RED, GREEN, BLUE }; int color = GREEN; // 直接使用枚举常量 cout << color << enJun 16, 2026·1 min read
C++ 类的继承与派生 学习文档C++ 类的继承与派生 学习文档 本文章由尚方咸鱼编写，后经是天创呀修改 本文档系统整理 C++ 面向对象编程中基类与派生类、派生类实现、访问控制、构造析构、成员标识、虚基类等核心知识点，包含定义、语法、代码示例与核心规则，适合学习与复习使用。 1、基类与派生类 1.1 类的继承与派生 类的继承：面向对象的核心机制，在保持原有类特性的基础上，进行更具体、更详细的定义。 核心用途：代码重用性（继承）Jun 16, 2026·7 min read·3
C++ 类核心知识完整总结C++ 类核心知识完整总结 本文是个人学习笔记，理解可能有误，欢迎指正！ 目录 类的基本结构与访问控制 构造函数（Constructor） 析构函数（Destructor） 构造函数的进阶用法 对象的生命周期与构造/析构执行顺序 类的其他核心要点 总结 1. 类的基本结构与访问控制 类是 C++ 面向对象编程的核心，用于封装数据（成员变量）和操作数据的行为（成员函数）。类的定Jun 16, 2026·4 min read·1
