From fa0d6cb012cffe76a73d8133e8a00b3278a88802 Mon Sep 17 00:00:00 2001 From: niazye Date: Sat, 13 Sep 2025 21:14:32 +0800 Subject: [PATCH 1/2] fix: correction of some textual error --- .../软件工程学院/区块链基础/2024-2025学年下学期期末.md | 2 +- .../软件工程学院/数据结构与算法/README.md | 2 +- docs/undergraduate/软件工程学院/计算机系统/README.md | 2 ++ docs/undergraduate/软件工程学院/计算机网络/README.md | 10 ++++++++-- .../计算理论基础/2024-2025学年下学期期末.md | 2 +- 5 files changed, 13 insertions(+), 5 deletions(-) diff --git a/docs/undergraduate/软件工程学院/区块链基础/2024-2025学年下学期期末.md b/docs/undergraduate/软件工程学院/区块链基础/2024-2025学年下学期期末.md index d273809..e0d4d48 100644 --- a/docs/undergraduate/软件工程学院/区块链基础/2024-2025学年下学期期末.md +++ b/docs/undergraduate/软件工程学院/区块链基础/2024-2025学年下学期期末.md @@ -17,7 +17,7 @@ C. D. -我只记得B选项是中本聪, ABD是什么没有印象 +我只记得B选项是中本聪, ACD是什么没有印象 ### 填空题 diff --git a/docs/undergraduate/软件工程学院/数据结构与算法/README.md b/docs/undergraduate/软件工程学院/数据结构与算法/README.md index 686280c..de8229a 100644 --- a/docs/undergraduate/软件工程学院/数据结构与算法/README.md +++ b/docs/undergraduate/软件工程学院/数据结构与算法/README.md @@ -3,7 +3,7 @@ title: 数据结构与算法 --- -## 2023Spring +## 2022-2023学年下学期 ### 杜育根 diff --git a/docs/undergraduate/软件工程学院/计算机系统/README.md b/docs/undergraduate/软件工程学院/计算机系统/README.md index 91a6435..4c41d92 100644 --- a/docs/undergraduate/软件工程学院/计算机系统/README.md +++ b/docs/undergraduate/软件工程学院/计算机系统/README.md @@ -12,3 +12,5 @@ title: 计算机系统 ## 其他待整理资料 [计算机系统](https://drive.vanillaaaa.org/SharedCourses/软件工程学院/计算机系统) + +[24-25学年春学期肖波班作业及实验参考](https://github.com/Niazye/CSAPP-in-ECNU) diff --git a/docs/undergraduate/软件工程学院/计算机网络/README.md b/docs/undergraduate/软件工程学院/计算机网络/README.md index a01f742..af24b46 100644 --- a/docs/undergraduate/软件工程学院/计算机网络/README.md +++ b/docs/undergraduate/软件工程学院/计算机网络/README.md @@ -3,6 +3,12 @@ title: 计算机网络 --- + +## 2024-2025学年秋学期 + +### 王廷 + +- 最优选择没有第二 +- 老师人很好很有趣, 课本身比较乏味，但会有划重点环节 + !!! warning "施工中" - - diff --git a/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md b/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md index bf84f15..3699693 100644 --- a/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md +++ b/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md @@ -11,7 +11,7 @@ title: 2024-2025学年下学期期末 2. 请给出 DFA 化简中 State Elimination Technique 的复杂度的 tight bound, 要有明确的推理过程 -3. A marble is dropped at A and B. Levers x1, x2 and x3 cause the marble tofall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble passes, so the next marble will take the opposite branch. The game wins when there is a marble falls through C. The levers are all initialized to the left. Model this toy by a DFA. +3. A marble is dropped at A and B. Levers x1, x2 and x3 cause the marble to fall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble passes, so the next marble will take the opposite branch. The game wins when there is a marble falls through C. The levers are all initialized to the left. Model this toy by a DFA. ![marble](./assets/marble.png) From 0b26d4c39cc21fbae0203284a551b43c2625b086 Mon Sep 17 00:00:00 2001 From: niazye Date: Sat, 13 Sep 2025 21:18:00 +0800 Subject: [PATCH 2/2] feat: translation of some Eng. statament --- .../计算机逻辑基础/2024-2025学年上学期期末.md | 41 +++++++++++++++++++ .../计算理论基础/2024-2025学年下学期期末.md | 5 ++- 2 files changed, 45 insertions(+), 1 deletion(-) diff --git a/docs/undergraduate/软件工程学院/计算机逻辑基础/2024-2025学年上学期期末.md b/docs/undergraduate/软件工程学院/计算机逻辑基础/2024-2025学年上学期期末.md index 8aa4712..d6baa89 100644 --- a/docs/undergraduate/软件工程学院/计算机逻辑基础/2024-2025学年上学期期末.md +++ b/docs/undergraduate/软件工程学院/计算机逻辑基础/2024-2025学年上学期期末.md @@ -41,3 +41,44 @@ Div: } {post-condition} ``` + +## 人工翻译（仅供参考和学习，实际考试以上文为准） + +### 简答题 + +1. 命题逻辑公式的有效性的定义是什么? + +2. 请解释如何判断一个给定的带有合取范式形式的命题逻辑公式是否是有效的 + +3. 请描述一下在谓词逻辑公式的语义评估中，如何处理自由变量和约束变量 + +4. 请阐述使用模型检测技术进行程序验证的核心思想 + +### 计算题 + +1. 将下面的公式转换为合取范式，并且画出它的分析树 $(p \vee q \rightarrow r ) \rightarrow r \vee s$ + +2. 将以下语句翻译为谓词逻辑公式 + +3. 模型检测 + +### 证明题 + +1. 证明以下命题: $(p \wedge q) \rightarrow r \vdash (p \rightarrow r) \vee (q \rightarrow r)$ + +2. 使用语义评估来证明以下矢列不成立: + $\forall x \exists y P(x,y) \models \exists y \forall x P(x,y)$ + +3. 证明以下霍尔三元组的完全正确性: $\\{ x \geq 0 \wedge y > 0 \\} Div \\{ y=d*x+r \wedge r < y \\}$ + +```cpp +Div: + {pre-condition} + r = y; + d = 0; + while (r >= y) { + r = r - y; + d = d + 1; + } + {post-condition} + ``` diff --git a/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md b/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md index 3699693..7f3bbfe 100644 --- a/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md +++ b/docs/undergraduate/软件工程学院/计算理论基础/2024-2025学年下学期期末.md @@ -13,7 +13,10 @@ title: 2024-2025学年下学期期末 3. A marble is dropped at A and B. Levers x1, x2 and x3 cause the marble to fall either to the left or to the right. Whenever a marble encounters a lever, it causes the lever to reverse after the marble passes, so the next marble will take the opposite branch. The game wins when there is a marble falls through C. The levers are all initialized to the left. Model this toy by a DFA. - ![marble](./assets/marble.png) +>这里是人工翻译： +在 A 点和 B 点分别掉落一个弹珠。控制杆 x1, x2, x3 会使弹珠向左或向右落下。每当弹珠经过任意一个控制杆，总会使控制杆反转，使得下一个弹珠选择另一个岔路。当存在一个弹珠掉落到 C 点使游戏胜利。拉杆初始全部设置为向左。请用 DFA 为这个小玩具建模。 + +![marble](./assets/marble.png) 4. 证明语言 $L = \{a^nb^nc^md^m (n \geq m \geq 1) \cup a^nb^mc^md^n (n \geq m \geq 1)\}$ 不是 CFL