共查询到18条相似文献，搜索用时 46 毫秒
1.
满海霞 《毕节师范高等专科学校学报》2013,(9):53-57
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词.为了刻画这种现象,他向一阶量词逻辑引入一个独立指针“/”,表示指针上面的量词与指针下面的量词不存在依赖关系.IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑.之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑.IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题. 相似文献
2.
陈招万 《中山大学学报论丛》2009,2(2)
本文基于经典一阶逻辑句法的逻辑优先性分析,把Hintikka的独立联结词和独立量词扩展到多值逻辑中.我们给出IF多值逻辑的句法,并使用不完全信息的语义赋值博弈解释了IF多值逻辑. 相似文献
3.
基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够解决许多领域中的现实问题,并指出了模态逻辑具有特殊性的两大基本原因。 相似文献
4.
蒋科杰 《数学学习与研究(教研版)》2010,(15):96-96
在没有时间延迟的IF模型中,神经元的同步性比较差,神经元发放不规则,很容易在噪声强度较弱时就产生同一时刻只有一个神经元发放的现象.而在有时间延迟的IF模型中,神经元发放的同步性比没有时间延迟时要好,发放也较规则,不容易在噪声强度较弱时产生同一时刻只有一个神经元发放的现象. 相似文献
5.
马明辉 《中山大学学报论丛》2009,2(1)
增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理.由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念.因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数.我们把讨论各种模型论逻辑的方式转移到模态方面. 相似文献
6.
熊立文 《中山大学学报论丛》2000,(2)
休谟认为人的归纳认识过程不是一个逻辑推理的过程,而是一个习惯心理过程。罗素为解决休谟问题而提出归纳原则。金岳霖等人力图证明归纳原则是永真命题,但未对可能命题作出语义解释。该文用欣迪卡的认知逻辑理论及其模型集语义刻画归纳推理,证明罗素的归纳原则在这种逻辑中是有效的。我们还得到另一个有趣的结果。 相似文献
7.
高中新课程标准(下称标准)中选修课程系列1选修1—1的常用逻辑用语对于广大的高中教师来说,虽然未系统学过,但有所了解,感觉不难[1].标准中对于常用逻辑用语主要有三个方面的内容:(1)命题及其关系;(2)简单的逻辑联结词;(3)全称量词和存在量词[2].对于(1)、(2)两点,在现行的高中教材中也有这些内容,而对于第(3)点,可能会觉得生疏些.在数理逻辑中,全称量词和存在量词属于一阶逻辑的内容.全称量词对应于日常语言中的“一切”、“所有的”、“任意的”等词,用符号“?”表示.存在量词对应于日常语言中的“存在着”、“有一个”、“至少有一个”等… 相似文献
8.
《北京师范大学学报(社会科学版)》1993,(1)
<正>在现代归纳逻辑中，逻辑贝叶斯学派是一个非常有影响的派别，本世纪20年代，英国逻辑学家凯恩斯建立了第一个概率逻辑系统，他用贝叶斯方法对归纳推理进行了初步的讨论。40年代以后，卡尔纳普对归纳推理进行了系统的研究，但是他的理论遇到严重的困难。从60年代中期起，一批芬兰逻辑学家着手研究归纳逻辑中贝叶斯方法的问题，并设法克服卡尔纳普遇到的困难，其中最有影响的是欣迪卡的理论。 相似文献
9.
田祖伟 《湖南第一师范学报》2005,5(2):74-77
IF转换是一种能够充分利用现代微处理器提供的谓词执行功能来提高程序性能的编译手段，它能够将程序中的条件分支代码转换为谓词执行的顺序代码，有效地增加基本块的大小，扩大指令调度的范围，从而增加基本块中的指令级并行性。RK算法是一个非常有效的算法，它能够将谓词的使用和谓词定义指令的数目最小化。 相似文献
10.
“无限全称命题概率为0”问题与归纳概率逻辑 总被引：1，自引：0，他引：1
熊立文 《北京师范大学学报(社会科学版)》2002,(3):131-139
分析卡尔那普以及波普尔得出"无限全称命题概率为0"结论的原因,介绍欣迪卡α-λ二维系统和宁尼鲁托K维系统的基本概念和主要结果.指出"无限全称命题概率为0"是归纳概率逻辑发展早期由于理论不成熟而产生的问题,这个问题在20世纪70年代已经解决.说明归纳概率逻辑与归纳推理的关系. 相似文献
11.
12.
13.
14.
Pablo Neruda 《海外英语》2009,(12):52-52
I want you to know
one thing.
You know how this is：
if I look
at the crystal moon, at the red branch
of the slow autumn at my window, 相似文献
one thing.
You know how this is：
if I look
at the crystal moon, at the red branch
of the slow autumn at my window, 相似文献
15.
16.
研究了GPS软件接收机中GPS数字中频信号模拟的基本原理。首先,介绍了GPS信号的调制过程;其次,分析了C／A码的产生原理,并分析了信号的数字化原理;再次,讨论了GPS信号中夹杂的噪声及GPS数字中频信号的模拟过程;最后,针对不同环境分别对GPS数字中频信号频谱进行了仿真实验。结果表明,其频谱比较准确。既能从图中看出调制过程,也能够求出其载波频率,为以后的研究奠定了重要的基础。 相似文献
17.
18.
逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新.逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用.为此给出了逻辑信息系统的规则以及建立在系统基础上的程序.在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准. 相似文献