搜索筛选:
搜索耗时0.4144秒,为你在为你在102,267,441篇论文里面共找到 77 篇相符的论文内容
发布年度:
[期刊论文] 作者：姚从军,,
来源：云南师范大学学报(哲学社会科学版) 年份：2015
范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类...
[期刊论文] 作者：姚从军,,
来源：武汉科技大学学报(社会科学版) 年份：2009
所有的科学是研究范式的科学,而数学是研究范式的范式的科学,数学的对象是所有可能的结构。集合和类之间的区别必须被理解为实结构和潜结构之间的区别,这种区别是一个结构的...
[期刊论文] 作者：姚从军,,
来源：哲学动态 年份：2012
范畴语法是一种面向自然语言信息处理的逻辑理论,是便于计算机处理的逻辑语法。它产生于20世纪30-40年代,50年代后逐渐走向成熟。[1]纯范畴语法是所有形式主义范畴语法的...
[期刊论文] 作者：姚从军,,
来源：生产力研究 年份：2009
文章讨论穷人经济学与西奥多·舒尔茨的穷人经济学的区别与联系。西奥多·舒尔茨最初讲的是解决农业的贫困问题,而文章认为穷人经济学更具有普遍意义。正像温总理所...
[期刊论文] 作者：姚从军,,
来源：北京理工大学学报(社会科学版) 年份：2010
传统逻辑是二值的,对诸如未来偶然命题使用这种逻辑是无法解决的,这就需要发展起来一种不同于二值逻辑的逻辑,这就是多值逻辑,三值逻辑是其最基本形式。三值逻辑理论沿着不同...
[学位论文] 作者：姚从军,,
来源： 年份：2005
模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。现代逻辑的研究大体上有两个目的:一是解决数学推理及理论体系建立中的逻辑问题,即给出数学的逻辑基础;另一是以一...
[期刊论文] 作者：姚从军,,
来源：安徽大学学报(哲学社会科学版) 年份：2014
处理照应和省略现象一直是范畴语法所关注的重点和难点。在原生态组合范畴语法CCG中增加关于照应的一些规则和省略槽规则,得到的组合范畴语法CCG︱,能有效地处理汉语的谓词缺失...
[期刊论文] 作者：姚从军,,
来源：传承 年份：2008
马克思主义的根本性质是实践性、革命性和科学性相统一的严密完整的科学思想体系,这一根本性质决定了马克思主义信仰具有科学性和充满人文精神,因此,马克思主义信仰实现了真...
[期刊论文] 作者：姚从军,,
来源：湖南科技学院学报 年份：2008
模态命题逻辑的自然推理系统TN、S4N、S5N与古典命题逻辑的自然推理系统PN相比:形式语言有了扩张;推理规则增多,且相同推理规则的作用范围扩大;推出的定理数量增多;推理能力...
[学位论文] 作者：姚从军,,
来源：东北师范大学 年份：2008
实践没有止境,创新也没有止境。党的十六大以来,以胡锦涛为总书记的党中央,高举邓小平理论和“三个代表”重要思想伟大旗帜,着眼于党和国家事业发展的全局,立足于国内外形势...
[期刊论文] 作者：姚从军,
来源：未来与发展 年份：2010
目前，全国各个领域、各个群体正在以各种活动形式宣传和践行科学发展观，科学发展观对当代大学生的成长和发展意义同样重大。特别是对大学生素质能力的提高起着关键的指导作用。......
[期刊论文] 作者：姚从军,,
来源：湖南科技学院学报 年份：2007
本文简要论述了四个方面的问题:一、信仰的涵义;二、从理论上和实践上简要论证了马克思主义信仰是科学的信仰;三、比较马克思主义信仰与宗教信仰的不同;最后,在新的历史时期,...
[期刊论文] 作者：姚从军,,
来源：重庆广播电视大学学报 年份：2009
由于传统的二值逻辑无法解决诸多命题，三值逻辑乃至其他多值逻辑理论得到了迅速发展，其应用范围也日益广泛。三值逻辑的语义解释存在着很多分歧和“困难”，这并非语义解释自身存......
[期刊论文] 作者：姚从军,,
来源：华北电力大学学报(社会科学版) 年份：2009
当代中国,社会思潮异常活跃,呈现出空前的多样性,中国思想界出现了影响广泛的自由主义、民族主义和"新左派"等社会思潮,集中反映了中国社会发展进程中的矛盾与冲突,鲜明表达...
[期刊论文] 作者：姚从军,
来源：电子科技大学学报：社会科学版 年份：2010
人们通常用康托集合论来判断ZFC系统的合法性,它对集合有两种主要解释：大小限制概念和叠置概念。大小限制概念把一个收集的统一性或客观现实性看作与该收集自身的大小相关,它...
[期刊论文] 作者：姚从军,
来源：沈阳师范大学学报：社会科学版 年份：2009
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运用到过程理论中去;可以使用扩展模态公式描述...
[期刊论文] 作者：姚从军,
来源：湖北大学学报：哲学社会科学版 年份：2018
处理照应回指现象一直是范畴语法所关注的重点和难点。近三十年来,学者们在类型逻辑语法框架内从词汇和句法两个方向给出了一些解决方案,取得了可取成果。但由于类型逻辑语法缺少计算优势,因而没有受到计算机领域青睐,所以,具有计算优势的组合范畴语法CCG是目前......
[期刊论文] 作者：姚从军,,
来源：湖北大学学报(哲学社会科学版) 年份：2015
处理照应回指现象一直是范畴语法所关注的重点和难点。汉语中的空代词几乎可以出现在代词所能出现的任何合法位置，并且空代词与话题具有不对称性，处理起来更为困难。在组合范畴......
[期刊论文] 作者：姚从军,
来源：湖北大学学报：哲学社会科学版 年份：2013
根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统。使用任何一个系统分析语言都只具有有限的价值，因此需要具有不同描述模式的多模态范畴系统。一个方法是利用结构模态词受控地引入结构规则，但是结构模态词的广泛使用导致了分析的复杂化，促使人们选择......
[期刊论文] 作者：姚从军,
来源：湖北大学学报：哲学社会科学版 年份：2012
精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论。尽管近些年来AFA吸...
相关搜索：
