摘要： 5 数学基础 5.1 数学系统 Q: 一阶系统和模型分别和数学领域有什么关系？ A: 一阶系统不涉及具体语义（数学领域）。适当一阶系统，再选择特定模型作为解释，能够表达某数学领域的许多数学定理、逻辑定理。 Q: 形式主义和逻辑主义有何区别？ A: 形式主义：公理不一定是逻辑的公理（不强调一切系统都由 阅读全文

摘要： 4 一阶逻辑：证明论 4.5 完全性定理 预备 Q: 完全性定理是说“真值为真推出是定理”还是“重言式是定理”？ A: 对于FOL，两者都不对。是“逻辑有效（任何解释真值为真）”推出是定理。 Q: 命题逻辑完全性定理Henkin证法：$\mathscr A$不是定理则其否定$\sim\mathscr 阅读全文

摘要： 未校对，未加习题 8 上下文无关语言 8.1 上下文无关文法 Q: 描述算术表达式文法中，“项”“因子”“表达式”三者以什么顺序“循环”地出现？为什么？ A: 表达式由项组成，项由因子组成，因子可能是表达式。 其实“表达式由因子组成，因子由项组成，项可能是表达式”也有可能。实际中可能是看哪种情况更常 阅读全文

摘要： 9 Issues in constraint programming 9.1 Modeling Q: 举例说明不同的modeling A: 举例：是否引入辅助变量。 举例：不同的语法表示同样语义（如all_different） 举例：增加新标识符（“新语法”）表示相同语义，并引入对应新规则。 Q: 阅读全文

摘要： 7 有限离散傅氏变换 7.1 有限离散傅氏变换、有限离散频谱引起的假信号 Q: 如何理解$1/N\Delta$分母的两项？$1/(N-1)\Delta$为什么不行呢？ A: \(\Delta\)：$[0,1/\Delta]$就是待考察有意义频谱范围。$1/N$可以理解为时域乘方波频域卷积$sinc$ 阅读全文

摘要： 4 一阶逻辑：证明论 4.4 前束范式和子句范式 12$\vdash$之第一组 Q: 记忆第一组。$x_i$不在$\mathscr{ A}$中自由出现，则根据K（）（填编号）可以帮助记忆，写出：（）。 A: 6 \(\vdash (\forall x_i)(\mathscr{ A}\to\maths 阅读全文

摘要： 未校对 8 Search 8.1 Search trees Q: 如何理解"leaves all of which are ‘manifestly failed’." A: The reference to ‘manifestly’ means that it is straightforward 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.21，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Windows 10家庭中文版，版本20H2，操作系统内部版本19042.1288 本篇前置 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.20，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 Linux version 5.4.0-84-generic (buildd@lcy01-a 阅读全文

摘要： 时效性 本篇撰写时间为2021.11.19，由于计算机技术日新月异，博客中所有内容都有时效和版本限制，具体做法不一定总行得通，链接可能改动失效，各种软件的用法可能有修改。但是其中透露的思想往往是值得学习的。 本篇前置： ExpRe[6] 云服务器[0] 基础使用，ssh连接 https://www. 阅读全文