NoResponse's Blog

# Ch2 知识表达与推理 # 命题逻辑 真值表： “条件” 命题联结词中前提为假时命题结论永远为真，bi-conditional 只有两个都是 true 或者都是 false 才是 true 逻辑等价：给定命题 p 和命题 q，如果 p 和 q 在所有情况下都具有同样真假结果，那么 p 和 q 在逻辑上等价，一般用 ≡\equiv≡ 来表示，即 p ≡\equiv≡ q。 判断逻辑等价：画真值表 逻辑等价式： normal form 有限个简单合取式构成的析取式称为析取 (or) 范式 由有限个简单析取式构成的合取式称为合取 (and) 范式 #...

2025-2026 春夏人工智能课程笔记 # Ch1 绪论 人工智能求解： 以符号主义为核心的逻辑推理：将概念（如命题等）符号化，从若干判断（前提）出发得到新判断（结论） 以问题求解为核心的探寻搜索：探寻搜索依据已有信息来寻找满足约束条件的待求解问题的答案 以数据驱动为核心的机器学习：从数据中发现数据所承载语义（如概念）的内在模式 以行为主义为核心的强化学习：根据环境所提供的奖罚反馈来学习所处状态可施加的最佳行动，在 “探索（未知空间）- 利用（已有经验）（exploration vs. exploitation）”...

# Ch2 数据的表示和运算 # 2.1 进位计数制及其相互转换 # 2.1.1 十进制二进制八进制十六进制转换 略 # 2.1.2 定点数的编码表示 定点数一般表示定点小数和定点整数，小数是符号位.xxx，整数是符号位 xxxx.0 感觉不是什么重要的东西，浮点数表示比较重要 原码，反码，补码 正数的原码反码补码相同 原码表示的范围为 −2n+1 2n−1-2^n+1 ~ 2^n-1−2n+1 2n−1 补码表示的范围为 −2n 2n−1-2^n ~ 2^n-1−2n 2n−1 负数的原码是 1 + 绝对值，反码是 1 + 绝对值取反，补码是反码 +...

# Ch1 计算机系统概述 # 1.1 计算机发展历程 四代计算机：电子管 -> 晶体管 -> 集成电路 -> 超大规模集成电路 摩尔定律：集成电路上可以容纳的晶体管数目在大约每经过 18 个月到 24 个月便会增加一倍 # 1.2 计算机系统层次结构 计算机系统：硬件 + 软件 对于某一功能，既能用软件实现又能用硬件实现，称为软、硬件在逻辑功能上是等价的 # 1.2.2 硬件 冯・诺依曼机的特点： 采用 “存储程序”...

# 语义分析 绑定，类型检查 # symbol table Imperative style: 命令式风格 Modify σ1\sigma_1σ1​ until it becomes σ2\sigma_2σ2​. While σ2\sigma_2σ2​ exists, we cannot look things up in σ1\sigma_1σ1​. When done with σ2\sigma_2σ2​, can undo the modification to get σ1\sigma_1σ1​ back...

# 语法分析 # CFG 见计算理论 Parse tree # Ambiguous grammars #

# Ch2 词法分析 把 input 分解成一个个 token # Regular Expression Language: a set of strings String: a finite sequence of characters Regular Experssion Notations: DFA, NFA 相关 见计算理论 # RE 转 NFA 画出初始态和终态 分裂规则： # NFA 转 DFA 从初始状态的闭包开始，每次根据 \epsilon 和当前状态的闭包，得到下一个状态的闭包，直到得到终态的闭包。 example 🌰 把这个 NFA 转成等价的...

ZJU 2025 春夏编译原理 学习笔记 主要基于虎书（Modern Compiler Implementation in C, Andrew W. Appel）和好多老师的 ppt（ldm, yps），还有 lzx 的智云 # CH1 Introduction Two Important Concepts Phases（阶段） Interfaces（接口） 方框里的是 phase，中间的是 interface 各个阶段的描述