检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到7篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

整合医学理论与公理化体系的建立被引量：8: 1; 作者蒋术一蒋宏岩《医学争鸣》 CAS 北大核心 2014年第1期22-24,共3页; 医学理论是一个完整、系统的科学理论,公理化方法是自然科学研究中理论构建方法。通过整合现有的医学理论,找到医学公理和基本概念,应用公理化方法研究医学理论体系是一种尝试。研究指出,人体内存在以肺为中心的血液自然上行下行运动体... 展开更多; 关键词整合医学公理化方法公理概念血液自然分布单位推论; 下载PDF 职称材料

生成语言学的公理演绎思想被引量：6: 2; 作者李可胜《中国社会科学院研究生院学报》 CSSCI 北大核心 2011年第4期102-106,共5页; 乔姆斯基的转换生成语法将演绎思想引入语言学研究,对其后的语言学研究产生了革命性的影响,这是生成语言学的伟大贡献之一。演绎思想使得语言研究从经验主义向理性主义转变,并促使语言学开始向一门真正的自然科学转型。但是演绎思想在... 展开更多; 关键词生成语言学公理演绎乔姆斯基; 原文传递

抽象算子逻辑及其自然演绎系统被引量：1: 3; 作者程晓春钟绍春 +3 位作者欧阳丹彤李春生陈庆锋张成奇《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2004年第4期38-44,共7页; 　研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.; 关键词抽象约束算子逻辑公理系统自然演绎; 下载PDF 职称材料

徐光启、利玛窦和《几何原本》被引量：1: 4; 作者李伯春李孝诚《淮北煤炭师范学院学报（自然科学版）》 2008年第2期20-24,共5页; 讨论了《几何原本》中译本前六卷的出版过程,并对《几何原本》问世后,对中国学术界的影响作了探讨.; 关键词徐光启利玛窦几何原本公理化方法演绎精神; 下载PDF 职称材料

毛泽东思想公理化理论体系论纲被引量：1: 5; 作者兰毅辉《北京理工大学学报（社会科学版）》 2007年第4期75-78,共4页; 毛泽东思想是个完整、系统的科学理论,公理化方法是自然科学研究中理论构建方法,应用公理化方法研究毛泽东思想理论体系是一种尝试。研究指出,实事求是、群众路线、独立自主是毛泽东思想的三大公理;实际、理论、实践、群众、自己力量是... 展开更多; 关键词毛泽东思想理论体系公理化方法公理概念推论; 下载PDF 职称材料

直言推理系统被引量：2: 6; 作者张清宇《逻辑学研究》 2008年第1期50-61,共12页; 本文构造了直言推理的一个系统MA,内容包括直接推理和三段论,但未考虑单称命题。此系统实际上是名辞逻辑系统MZ的子系统,精确地说是关于类名及其否定和由它们形成的本辞的系统。文中证明了系统MA的可靠性和完全性,并提出了它的自然推理... 展开更多; 关键词名辞逻辑规则DDO 公理系统自然推理系统从属推演完全性; 下载PDF 职称材料

自然逻辑与不自然逻辑刍议——以命题逻辑为例: 7; 作者肖翀《湖南理工学院学报（自然科学版）》 CAS 2015年第1期10-12,15,共4页; 在逻辑中,自然演绎方法与公理方法是研究各种逻辑词之间的推理规律的两种不同的研究方式.本文以命题逻辑中的推出关系为例,研究了逻辑推理演算在自然逻辑系统与不自然逻辑系统中的特点,总结了自然演绎方法与公理方法的区别与联系,认为... 展开更多; 关键词自然逻辑不自然逻辑公理方法自然演绎方法; 下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部