Ruiqy~

返回：0100 离散数学课程总目录 · 上一章：0123 命题逻辑 1、学习目标命题逻辑只把整句话看成真假对象，一阶谓词逻辑继续拆开句子内部结构：对象、性质、关系、函数、量词和变元。 本章主线： 1234567一阶语言：规定什么是项，什么是公式。自由/约束变元：判断量词到底管住了谁。NL：自然推演系统，在 N 上增加量词规则。KL：形式系统，在 P 上增加量词公理。解释与赋值：给公式一个语义世界。可靠性与和谐性：可证和真之间的关系。期末题：用证明、反例解释和语义证明收束全章。 Auto_Tutor 中本章资料包括 24.1-24.8 课件、期末考试 和 期末考试答案。下面的“期末题答案”按试卷题号 1-7 整理。 2、一阶谓词逻辑在做什么命题逻辑的基本单位是命题变元： 12p: 小王是学生q: 小王会 C++ 一阶谓词逻辑把命题继续拆成： 1234对象：小王、张三、某个自然数谓词：是学生、会 C++、小于、相等函数：父亲、后继、加法、乘法量词：所有、存在 例如： 12345所有学生都会 C++。forall x (Student(x) -> Cpp(x))存在一个学生会 C+ ...

返回：0300 数据结构总目录 · 上一章：0303 Chap3 列表 · 下一章：0305 Chap5 二叉树 1、学习目标栈和队列都是受限线性表。它们的重点不在“能存元素”，而在访问规则：栈是后进先出，队列是先进先出。很多算法看起来复杂，本质上只是利用了这两种访问顺序。 结构 规则 典型应用 栈 LIFO 递归、函数调用、括号匹配、表达式求值、DFS 辅助 队列 FIFO BFS、层次遍历、任务调度、缓冲区 2、资料范围 PDF 课件 内容 04.S_Q.A.stack-ADT_implementation.pdf 栈 ADT 与实现 04.S_Q.B.stack-execution_stack.pdf 函数调用栈 04.S_Q.C1-C5 进制转换、括号匹配、栈混洗、表达式求值、RPN 04.S_Q.D.Queue-ADT_implementation.pdf 队列 ADT 与实现 04.S_Q.E.Queue-App.pdf 队列应用 04.S_Q.X2-X3 八皇后、迷宫回溯 3、栈 ADT 操作 ...

返回：本科课程：疾风计划 1、课程定位数据库系统把数据建模、存储、查询、事务和开发实践连接起来。它既服务课程项目，也和 Web 安全、SQL 注入、权限配置、日志审计等网络安全方向有关。 2、学习目录 模块 内容 复盘重点 关系模型 表、键、约束、范式 理解数据如何被规范组织 SQL 查询、连接、聚合、子查询 训练数据查询表达 索引与优化 B+ 树、索引选择、执行计划 理解性能和存储结构 事务 ACID、并发控制、恢复 理解一致性和可靠性 数据库开发 设计、接口、权限、备份 连接项目和安全配置 3、后续补充后面补 ER 图、SQL 题、数据库课程项目、SQL 注入与安全配置复盘。

返回：0100 离散数学课程总目录 · 上一章：0122 包含排斥、Burnside 引理与 Polya 定理 · 下一章：0124 一阶谓词逻辑 1、学习目标本章进入数理逻辑。组合数学里我们在“数对象”，命题逻辑里我们开始“数真假、管推理”：把自然语言命题符号化，再判断公式真假、推理是否有效、证明系统是否可靠和完备。 主线： 12345678命题与联结词：把句子翻译成公式。真值表：逐个赋值检查公式真假。联结词完全集：哪些联结词足以表达所有真值函数。推理形式：前提都真时结论必真。自然推演 N：接近日常证明。形式系统 P：公理模式 + MP 的证明机器。等值演算与范式：把公式化成便于判断的形态。可靠性、和谐性、完备性：连接语义真与形式可证。 本章没有常规“023 习题”文件，Auto_Tutor 中对应的是 23期中考试 与 23期中考试答案。下面的“测验答案”按试卷题号 1-6 整理。 2、命题与联结词命题是有确定真假的陈述句。 不是命题的典型句子： 1234疑问句：8 大于 10 吗？祈使句：请勿吸烟！含自由变元的句子：x 大于 y。悖论式句子：我正在撒谎。 命题逻辑把命题看作最 ...

返回：0300 数据结构总目录 · 上一章：0302 Chap2 向量 · 下一章：0304 Chap4 栈与队列 1、学习目标列表是线性结构的链式实现。它牺牲按秩随机访问，换来局部插入、删除时不需要整体搬移元素。复盘时要反复比较：向量适合按秩访问，列表适合频繁插入删除和稳定节点位置。 模块 要掌握的内容 节点 前驱、后继、数据域 哨兵 header、trailer 简化边界 ADT 插入、删除、查找、去重、遍历 无序列表 顺序查找、去重 有序列表 有序查找、唯一化 排序 选择排序、插入排序、归并排序 2、资料范围 PDF 课件 内容 03.List.A.interface_Implementation.pdf 列表接口与实现 03.List.B.Unsorted_list.pdf 无序列表 03.List.C.Sorted_list.pdf 有序列表 03.List.D.Selectionsort.pdf 选择排序 03.List.E.Insertionsort.pdf 插入排序 03.List.F.Me ...

返回：本科课程：疾风计划 1、课程定位编译原理解释高级语言如何变成可执行程序。短期目标是建立“词法、语法、语义、中间代码、优化、目标代码”的整体框架，长期可以服务程序分析、代码审计和自动化工具理解。 2、学习目录 模块 内容 复盘重点 词法分析 正则、自动机、Token 理解源码如何被切分 语法分析 文法、推导、分析树 理解程序结构如何被识别 语义分析 类型检查、符号表 理解程序约束和上下文 中间代码 三地址码、控制流 连接优化和目标代码 优化与生成 局部优化、寄存器、目标代码 建立编译后端概念 3、后续补充后面补课程实验、简易解释器/编译器示例，以及它和代码安全分析之间的关系。

返回：0100 离散数学课程总目录 · 上一章：0121 递推方程与生成函数 · 下一章：0123 命题逻辑 1、学习目标本章处理两类最容易“数重/漏数”的问题： 12限制条件计数：用包含排斥原理、对称筛公式、棋盘多项式处理。对称等价计数：用 Burnside 引理和 Polya 定理处理。 前半章的关键词是“坏性质”和“扣回交集”，后半章的关键词是“群作用”“不动点”“轨道”“循环结构”。 本站页面编号是 0122，但课件与习题内部称为“第二十三章/习题二十三”。下面答案按教材题号写成 23.1-23.31。 2、包含排斥原理设全集为 S，性质 P_i 对应的集合为 A_i。 至少具有一个性质12345|A_1 union ... union A_m|= sum |A_i| - sum |A_i cap A_j| + sum |A_i cap A_j cap A_k| - ... 不具有任何性质123456|S - (A_1 union ... union A_m)|= |S| - sum |A_i| + sum |A_i cap A_j| - sum |A_i ca ...

返回：0300 数据结构总目录 · 上一章：0301 Chap1 绪论与算法分析 · 下一章：0303 Chap3 列表 1、学习目标向量可以看成“可扩展数组”。它保留数组的随机访问优势，又通过扩容机制支持动态增长。本章重点不是会用 std::vector，而是理解背后的 ADT、容量管理、查找、去重和排序。 模块 要掌握的内容 ADT 规模、容量、秩、访问、插入、删除 扩容 加倍扩容、装填因子、分摊复杂度 无序向量 顺序查找、插入、删除、唯一化 有序向量 去重、二分查找、Fibonacci 查找、插值查找 排序 冒泡排序、归并排序 2、资料范围 PDF 课件 内容 02.Vector.A.Interface_Implementation.pdf 向量接口与实现 02.Vector.B.extendable_vector.pdf 可扩展向量 02.Vector.C.unsorted_Vector.pdf 无序向量 02.Vector.D1-D5 有序向量、唯一化和查找 02.Vector.E.Bubblesort. ...

返回：本科课程：疾风计划 1、课程定位操作系统负责管理进程、内存、文件、设备和并发。它是 408 的主干，也是后续 Linux、安全实验、服务部署和问题排查的基础。 2、学习目录 模块 内容 复盘重点 进程与线程 状态、调度、同步、互斥 理解并发执行和资源竞争 内存管理 分页、分段、虚拟内存 理解地址空间和内存保护 文件系统 文件、目录、权限、磁盘组织 连接 Linux 文件与安全权限 I/O 与中断 设备管理、中断、缓冲 理解系统调用背后的机制 死锁与安全 死锁条件、避免、检测 服务后续系统安全理解 3、后续补充后面补 408 高频题、Linux 命令对应关系、进程/文件/权限实验和常见面试表达。

返回：0100 离散数学课程总目录 · 上一章：0120 计数原则、排列组合与组合恒等式 · 下一章：0122 包含排斥、Burnside 引理与 Polya 定理 1、学习目标本章继续组合计数。上一章偏“直接数”，这一章偏“把数量关系变成工具”：递推方程描述规模变化，生成函数把序列打包成幂级数，Catalan 数、Stirling 数、Bell 数则是常见组合结构的标准模型。 主线： 123456递推方程：从 a_n 与前面若干项的关系求通项。生成函数：把序列 {a_n} 变成 A(x)=sum a_n x^n。指数生成函数：处理有标号对象与排列型计数。Catalan 数：处理不越界路径、括号、配对、树形等结构。Stirling 数：处理排列循环、集合划分和放球模型。Bell 数：处理集合的所有划分。 本站页面编号是 0121，但课件与习题内部称为“第二十二章/习题二十二”。下面答案按教材题号写成 22.1-22.36。 2、递推方程递推方程用较小规模的项表示较大规模的项： 1a_n = F(n,a_0,a_1,...,a_(n-1)) 解题第一步不是套公式， ...