Logic
小龙王2010
加我微信 chinaitlee (昵称:小玩子君) 可免费协助博文答疑 和下载资料, 权当交个盆友
展开
-
合取式/合取范式/主合取范式/重言式/矛盾式 基本概念
一、对偶式在给定仅含有联结词¬、Λ和Ⅴ的命题公式A中,将联结词Ⅴ换成Λ,Λ换成Ⅴ,特殊变元T换成F,F换成T,由此得到新命题公式A*,称为A的对偶式。(A和A*是互为对偶式)。[例],¬PΛ(QⅤR)的对偶式为:¬PⅤ(QΛR)仅仅只要将Λ与Ⅴ互换即可。 二、文字/合取式/析取式1.命题变元及其否定统称为文字2.由若干个文字所组成的合取式,称为基本积,而每个文字称为合取项。原创 2012-11-16 19:14:33 · 24048 阅读 · 2 评论 -
什么是P问题?NP问题?NPC问题?三者关系如何?
1、P问题P是一个判定问题类,这些问题可以用一个确定性算法在多项式时间内判定或解出。如果一个判定性问题的复杂度是该问题的一个实例的规模n的多项式函数,则我们说这种可以在多项式时间内解决的判定性问题属于P类问题。P类问题就是所有复杂度为多项式时间的问题的集合。 NP是一个判定问题类,这些问题可以用一个确定算法在多项式时间内检查或验证出它们的解;P类问题事实上很直观,我们通常在编程中原创 2012-11-18 00:38:04 · 2379 阅读 · 0 评论 -
语义WEB 及 描述逻辑动态逻辑 总结
Web Service Architecture Web Service Architecture Stack UDDI:UniversalDescription,Discoveryand Integration [通用描述、发现与集成服务]UDDI 是一种目录服务,企业可以使用它对 Web services 进行注册和搜索。WSDL:WebServices Des原创 2012-11-20 13:06:09 · 1400 阅读 · 0 评论 -
三种形式化语言和方法
VDM --VDM是在1969年为开发PL/1语言时,由IBM公司维也纳实验室的研究小组提出的,VDM是一种功能构造性规格说明技术,它通过一阶谓词逻辑和已建立的抽象数据类型来描述每个运算或函数的功能,这种方法在90年代初在欧美许多研究机构或大学得到了广泛的应用。 VDM技术的基本思想是运用抽象数据类型、数学概念和符号来规定运算或函数的功能,而且这种规定的过程是结构化的,其目的是要在系统转载 2013-07-09 22:34:24 · 2882 阅读 · 0 评论