计算机逻辑
文章平均质量分 87
Mark_Lee131
这个作者很懒,什么都没留下…
展开
-
群、环、域——群
群环域是抽象代数的基础代数结构,本讲简述群的相关概念与性质。原创 2022-03-27 11:43:26 · 1184 阅读 · 0 评论 -
模糊数学Fuzzy Set第0讲——Fuzzy Mathematics & Word Computing
自然语言具有模糊性,模糊数学能够很好地用来精确地描述程度化。本文引自王国俊老师的《计算智能——词语计算与 Fuzzy 集》原创 2022-02-28 17:58:46 · 327 阅读 · 0 评论 -
Petri 网(Petri Net)
Petri 网基础知识原创 2021-12-06 18:44:11 · 2308 阅读 · 0 评论 -
谓词逻辑——自由变元与约束变元
命题逻辑在处理语句成分中有诸如“否”、“并”、“或”和“如果···那么···”时, 取得了令人满意的结果, 但人类语言比这丰富得多, 我们如何处理如“存在···”, “所有···”,“在···中”,和“只有···”呢?命题逻辑有其明显的局限性, 我们需要更精确微妙的谓词逻辑(predicate logic) 来表达判断语句, 谓词逻辑也称为一阶逻辑(first-order logic)。原创 2021-08-19 14:57:09 · 10865 阅读 · 0 评论 -
重写逻辑(Rewriting Logic)
重写逻辑是一种对绝大多数编程语言和系统进行规范描述的计算机逻辑。重写逻辑能把目标逻辑的抽象语法表示为代数结构。利用重写规则,目标逻辑的推理规则可以被描述出来。原创 2021-08-17 16:52:45 · 618 阅读 · 1 评论