![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
logic
yisun03
这个作者很懒,什么都没留下…
展开
-
一阶逻辑基本概念
这里转载一篇讨论命题逻辑的短板,一阶逻辑的引入的文章。链接为:一阶逻辑基本概念,还有习题及答案可以看看,对学习一阶逻辑很有用。另附一个ppt,链接为:一阶逻辑公式及解释...转载 2019-11-26 14:32:34 · 382 阅读 · 0 评论 -
什么是many-sorted first order logic (many-sorted FOL)
其实是个很好理解的东西,但是感觉中文文献对之的解释少之又少,我没有查到,翻译也翻译为多排序的一阶逻辑,跟不久不准确。对于外文文献倒是有,但是限于英语阅读能力有限,实在是都不太懂什么意思。下面有外文对many-sorted FOL这样解释:如果您能看懂就是最好,我的解释是多类型的一阶逻辑,这里的类型我理解为int,real,bool,float,char等,就是说这个一阶逻辑包含了多个类...原创 2019-11-05 09:30:25 · 484 阅读 · 0 评论 -
Z3求解器基本指南
这是博主 alu_xd 翻译的官网上的z3手册,但是不全面,想看全面的手册见官网手册:z3手册z3是由微软公司开发的一个优秀的SMT求解器(也就定理证明器),它能够检查逻辑表达式的可满足性。使用方式z3是一个底层的工具,它最好是作为一个组件应用到其它需要求解逻辑公式的工具中。为了方便使用,z3提供了很多的API,这些api支持的语言有C, .NET, and OCaml。当然,z3也可...转载 2019-10-22 13:30:25 · 5673 阅读 · 3 评论 -
在逻辑中constraint是什么意思
在逻辑中,可以作为约束的意思,狭窄的解释也就是等式或不等式。比如一下的关系就称作constraints这里的Xi是free variable;b是常量。而这两个等式和不等式都叫constraint。...原创 2019-09-27 14:43:37 · 1266 阅读 · 0 评论 -
什么是free variable
其实很多英文名词对应的中文名词我们很好理解,也很容易理解他的用处。但是有很多名词恰恰就是英文的,而我们因为英语水平的局限,很难将这些英文名词翻译到位,也就导致很容易理解的名词经常困扰着我们。那今天的主角是free variable。我把他叫为自由变量。用英文可以这么解释它:If a name is bound in a block, it is a local variable o...原创 2019-09-27 14:33:49 · 3211 阅读 · 0 评论 -
uninterpreted function是什么
在学习过程中,尤其是在学习数学逻辑时,可能会看见uninterpreted function这样的词,那这个词到底什么意思呢,这里有一个英文解释,可能会解释得比较清楚一点。来源自博客园:https://www.cnblogs.com/houguochao/archive/2011/11/07/2240319.htmlInmathematical logic, anun...原创 2019-09-24 19:27:24 · 709 阅读 · 0 评论 -
两个被广泛使用的Model Checking工具
转载自:https://blog.csdn.net/qysh123/article/details/7378753这两个工具是BLAST和SLAM,都是针对c语言的model checker。大家看看原文,原文中的链接让你更了解这两个工具。最近看论文的时候,发现和软件分析、测试及模型检验相关的论文,都会引用两个Model Checking工具,分别是:BLAST: http://mt...转载 2019-09-23 17:05:21 · 1822 阅读 · 0 评论 -
计算机领域中的token的意思
这里转载两篇文章,解释了什么是token,他有多个意思。原文一出处:token是什么原文一内容如下:token是什么Token (计算机术语)在计算机身份认证中是令牌(临时)的意思,在词法分析中是标记的意思。令牌(信息安全术语)Token, 令牌,代表执行某些操作的权利的对象访问令牌(Access token)表示访问控制操作主体的系统对象邀请码,在邀请系统中使用Toke...转载 2019-09-23 08:24:39 · 15239 阅读 · 0 评论 -
一阶逻辑基本概念
这里转载一篇讨论命题逻辑的短板,一阶逻辑的引入的文章。链接为:一阶逻辑基本概念,还有习题及答案可以看看,对学习一阶逻辑很有用。另附一个ppt,链接为:一阶逻辑公式与解释...转载 2019-09-11 11:44:09 · 565 阅读 · 0 评论