摘要： 3 一阶语言：模型论 3.3 解释 Q: 为什么要解释非逻辑符号？ A: 非逻辑符号（函项符、谓词符）依赖于具体的应用背景，可以有不同的意思。在实际应用中，我们需要确定对$n$元谓词符，每个可能的$n$元组合是否满足该谓词；也需要确定对$n$元函项符，每个可能的$n$元组合映射到什么对象。这样才能确 阅读全文

摘要： 3 一阶逻辑：模型论 3.2 一阶语言 哥德尔编码 Q: 如何用一个自然数，编码自然数的有序对？ A: 可以使用$2a 3b$，也可以在二维平面上从原点开始以“蛇形”给每个自然数为坐标的点编号。 注：前者会导致许多自然数没有对应的有序对，不是一一对应。但叙述起来较简单。 如果既要一一对应又要叙述简单 阅读全文

摘要： 3 一阶逻辑：模型论 3.1 谓词和量词 Q: 为什么说命题逻辑$L$的表达能力不够？ A: 比如难以表达“至少有一个A中元素满足某某”。 注：命题逻辑较容易表达“所有A中元素都满足某某”。 Q: 含有自由变元的陈述和命题逻辑中的命题形式有何共同点？ A: 由于变元（自由变元或者命题逻辑中命题变元） 阅读全文

摘要： 2 命题逻辑：语法 2.1 形式系统 形式系统间的关系 Q: (L1)\(\mathscr A\to(\mathscr B \to \mathscr A)\) (L2)\((\mathscr A \to(\mathscr B \to\mathscr C))\to((\mathscr A \to\ma 阅读全文

摘要： 2 命题逻辑：语法 2.1 形式系统 形式系统 Q: 如何理解“形式（演绎）系统中有关符号的一切行为和性质不依赖符号特定的意义和具体的性质”？用常微分方程的形式幂级数解举例阐述。 A: 提示：形式上规定针对幂级数可以逐项求微分或积分，而不考虑收敛性，从而给出常微分方程的形式幂级数解。 这里的演算都是 阅读全文

摘要： 1 命题逻辑：语义 1.1 命题和连接符 Q: 数学语言，如“$x_0$是集合$X$的最大元”是符号语言嘛？如何把它转化为符号语言？ A: 不是。数学语言是自然语言+记号。\(x_0\in X,\forall x\in X,x\le x_0\). 注意$x_0\in X$不能遗漏！ Q: 逻辑矛盾和 阅读全文

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

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

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

摘要： 名称含义 ExpRe，表示如同强化学习一般对exploration的行为给予自己reward. 而具体的reward就是用博客表达(express)出来。 最近深刻地感受到常常陷在舒适区中，不愿意探索新的事物。为了探索更广阔的技术天地，紧跟时代前沿，为自己开设一个专栏，不定期地记录探索中的收获。 具 阅读全文