逻辑
文章平均质量分 90
Anokata
这个作者很懒,什么都没留下…
展开
-
Mathematics for Computer Science 3
它的思想是,如果你得到这个称为不变量【inariant】的神奇性质/属性【property】,他在初始时成立,在每一步中仍然成立,那么在你抵达终态时,它依然要成立,即必须具有该性质/属性【property】。为了证明你的系统永远不会达到一个特定的特殊状态,我们只需要证明,在初始状态下,存在一些称为不变量【invariant】的性质/属性【property】,并且随着每次移动,这些不变量【invariant】均保持不变,但是,它在特定的特殊状态下是不存在的。So在行移动中,顺序不变。............翻译 2022-07-24 00:09:47 · 171 阅读 · 0 评论 -
Mathematics for Computer Science 2
正如讲义终所述,我们不会太担心你使用什么公理【axioms】或逻辑推导【logical deduction】。任何合理的事情,我们都可以接受。我们不会要求你知道什么是肯定前件 (Modus ponens),或者在你进行逻辑推理时给某个定律【law】贴上标签。只要你知道是合理的即可。在这门数学课程中,你所知道的任何事实【fact】,都很接近可以用作公理【axioms】。想确保你的公理是一致的【consistent】,这没问题。现在的例外情况是,假设我们正在考试,我们要求你证明一些命题,p。现在的例外情况是,假翻译 2022-07-09 22:46:18 · 231 阅读 · 0 评论 -
全从句逻辑【Full clausal logic】
关系逻辑【Relational logic】通过逻辑变量【logical variable】对命题逻辑【propositional logic】进行了扩展,使我们能够讨论任意的未命名个体【arbitrary un-named individuals】。但是,请考虑以下陈述【statement】:用关系从句逻辑【elational clausal logic,】来表达该陈述的唯一方法,就是明确列出每一对人,使得在每一对中,第一个人爱第二个人,例如:首先,这并不是对上述陈述【statement】的精确逻辑翻译,翻译 2022-07-06 19:41:18 · 96 阅读 · 0 评论 -
Mathematics for Computer Science
什么是证明【proof】?证明的存在是超越数学的,那么证明的更高层次的概念是什么?它可能没有潜在的逻辑推导【logical deduction】,也可能没有假设【assumption】。我认为一般来说,证据【proof】被认为是,跨多个领域【field】,作为一种确定【ascertaing】真理【truth】的方法。这里所说的确定【ascertaing】,是指建立【establishing】真理,验证【verifying】真理。在社会中,甚至在科学中,有很多方法可以确定真理【ascertaing truth翻译 2022-07-03 22:46:39 · 241 阅读 · 0 评论 -
关系从句逻辑【Relational clausal logic】
命题从句逻辑是相当粗粒度的,因为它以命题【propositions】(即任何可以被赋予真值的事物)作为其基本构建块。例如,在命题逻辑中不可能形成以下论点:为了使这种类型的推理形式化,我们需要讨论像 Peter 和 Maria 这样的个体,像 Peter 的学生这样的个体集合,以及个体之间的关系,比如 “喜欢”。命题分句逻辑的这种改进将我们引向关系分句逻辑。单独的名称称为常量【constants】;我们遵循 Prolog 约定,将它们写为以小写字符开头的单个单词(或用单引号括起来的任意字符串,例如 'this翻译 2022-06-16 21:03:24 · 306 阅读 · 0 评论