搜索筛选:
搜索耗时2.3698秒,为你在为你在102,285,761篇论文里面共找到 208 篇相符的论文内容
发布年度:
[期刊论文] 作者：龚启荣,
来源：实用眼科杂志 年份：1989
海绵窦动静脉瘘是颈动脉系统和海绵窦之间的异常交通。由于动脉压降低和静脉压升高联合存在,引起一个唯一的眼眶和眼的缺氧和静脉充血综合征。海绵窦动静脉瘘一旦发生,...
[会议论文] 作者：龚启荣,,
来源： 年份：2007
充分条件关系是非纯真值的联结关系，不是纯真值联结关系。作为必须通过非纯真值的充分条件假言联结词“若，则”来定义的导出的尽举选言命题也是非纯真值的：尽举选言命题的真值，不......
[期刊论文] 作者：龚启荣,,
来源：南通大学学报(医学版) 年份：1983
近年来,由于对糖尿病性视网膜病的病因、病理及发病机理的进一步了解,对视网膜病的发生、发展及其转归的进一步阐明,加之新的医疗技术的采用和改进,给视网膜病的治疗带...
[期刊论文] 作者：龚启荣,,
来源：眼科新进展 年份：1983
慢性眼球疼痛,一般由青光眼、眼球穿孔伤和以前做过的视网膜脱离手术等引起,但原因不明的三叉神经痛样的睫状神经节痛,据手边文献,未见报导。作者于一九七九年八月份见一例,...
[期刊论文] 作者：龚启荣,
来源：中华眼科杂志 年份：
...
[期刊论文] 作者：龚启荣,,
来源：贵州大学学报(社会科学版) 年份：2015
当代形式逻辑除了作为体系主干的语义学之外，尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学，以及沟通逻辑理论和应用实际的语用学。语义的研......
[期刊论文] 作者：龚启荣,,
来源：贵州大学学报(自然科学版) 年份：2001
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 ....
[会议论文] 作者：龚启荣,,
来源： 年份：2014
在半个世纪内先后出现的"认知模拟"、"人机合一"都不是真正的"人工智能"正确的指导方针。宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制...
[期刊论文] 作者：龚启荣,,
来源：贵州教育学院学报(社会科学版) 年份：1987
纯真值联结关系是一种客观存在的关系。本文重点讨论客观存在的纯真值联结关系对真值函数关系的完全性问题。真值即真假值,在我们这里就是指事件的有、无。有和无分别是...
[期刊论文] 作者：龚启荣,,
来源：眼外伤职业眼病杂志.附眼科手术 年份：1990
眼眶内异物较为常见,往往由于漏诊或误诊或处理不当而致眼部瘘口畸形或视功能损害。笔者就临床实践中所遇见的21例眶内异物进行分析。 21例眶内异物中枪弹伤及战伤11例,铁片...
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：自然科学版 年份：1991
本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。所谓原子命题就是关于客观世界的原子事件的思考;原子事件分闭原子事件和开原子事件两大类。论文深入剖析...
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：自然科学版 年份：1998
传统直言命题Ａ、Ｅ、Ｉ、Ｏ作为 “命题形式”其逻辑语义没有规定清楚，逻辑结构尚未完全定型，因而而今还存在种种逻辑理论上的问题。...
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：自然科学版 年份：1996
专家系统中产生式规则的'若…则…'的前后件问存在着的是制约逻辑所揭举的制约关系中的两个独立性:可独立于前后件的真假确定不会是前真而后假(一独),前件为真可独立...
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：自然科学版 年份：1995
对宇宙的显示实机器表示，加到有的知识表示系统中去，行使机器推理，去得出前所未有的新的知识表示的机器运行过程，就称为人工智能。能从已有的知识得出新的知识是人工智能的根本。......
[期刊论文] 作者：龚启荣,
来源：贵阳市委党校学报 年份：1999
我们的讨论所涉及的逻辑理论体系有:正统数理逻辑、各种非正统数理逻辑(如形形色色的模态逻辑、衍推逻辑、相干逻辑)、久盛不衰的传统形式逻辑以及由我国学者创建的作为传统...
[期刊论文] 作者：龚启荣,
来源：鞍山师范学院学报 年份：1986
北京开关厂工程师林邦瑾撰写的具有独创性的论著《制约逻辑》已经由贵州人民出版社出版.《制约逻辑》全书约五十万言,共分八章.制约逻辑体系由语义学、语构学、语用学三...
[期刊论文] 作者：龚启荣,
来源：贵阳师范高等专科学校学报：社会科学版 年份：2005
尽举选言命题是非纯真值复合命题,其真值不是肢命题的真值的真值函数.它可由非纯真值的充分条件假言联结词"若,则"来刻划.尽举选言命题具有作为逻辑推理的两块重要基石的两个...
[期刊论文] 作者：龚启荣,
来源：贵阳师范高等专科学校学报：社会科学版 年份：2004
远在百家争鸣的春秋战国时期,韩非子就迳直去研究客观世界的逻辑结构和逻辑规律.更难能可贵的是,在韩非子的逻辑思想宝库里还显露出当代逻辑的不用逻辑量词然而却分析到多元...
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：社会科学版 年份：1997
在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的......
[期刊论文] 作者：龚启荣,
来源：贵州大学学报：社会科学版 年份：1988
关于选言推理的规则,国内现行的传统形式逻辑书中说法不尽相同,而且有些说法带有片面性,即不能反映选言推理的全面情况。究竞选言推理的规则是什么?我们认为应当从推理...
相关搜索：
