摘要： 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)出来。 最近深刻地感受到常常陷在舒适区中，不愿意探索新的事物。为了探索更广阔的技术天地，紧跟时代前沿，为自己开设一个专栏，不定期地记录探索中的收获。 具 阅读全文

摘要： ECCV 2018 https://openaccess.thecvf.com/content_ECCV_2018/papers/Bolei_Zhou_Temporal_Relational_Reasoning_ECCV_2018_paper.pdf link meaningful transfor 阅读全文

摘要： ESWC 2005 https://users.dcc.uchile.cl/~cgutierr/papers/temporalRDF.pdf Resource Description Framework, incoporate temporality 1 Introduction propertie 阅读全文