【摘 要】
：
讨论在科学研究中的发明创造思维的数学模型，对Ｐｏｌｙá提出的“论证推理模式”与“归纳推理模式”作形式化处理，在古典逻辑系统中引进模态词◇后建立了一系列新的逻辑系统。在其中可
论文部分内容阅读
讨论在科学研究中的发明创造思维的数学模型，对Ｐｏｌｙá提出的“论证推理模式”与“归纳推理模式”作形式化处理，在古典逻辑系统中引进模态词◇后建立了一系列新的逻辑系统。在其中可以推导出Ｐｏｌｙá所提出的许多推理模式，同时也推导出许多新的推理模式。最后，研究了这些逻辑系统与古典模态逻辑之间的关系。
Discusses the mathematical model of inventive thinking in scientific research. Formalizes the “demonstration reasoning mode” and “inductive reasoning mode” proposed by Polyá, and introduces modal words into the classical logic system. After that, a series of new Logic system. Among them, many inference models proposed by Polyá can be deduced, and many new inference models have been derived. Finally, we study the relationship between these logical systems and classical modal logic.
其他文献
目的:通过体外细胞实验研究吗啡、舒芬太尼、布托啡诺等不同类型阿片类药物对人肺腺癌细胞株A549增殖、侵袭、迁移能力的影响,从而为肺癌治疗过程中阿片类药物的使用提供理论
介绍 ＴＨＣＡＤＣＳ的主要功能及算法。该程序包由一个主包和五个子包组成。它包括 了控制系统的建模、分析、设计和仿真等内容。该包提供了多种运行方式及宏命令的功 能，使用灵活方便。整
为了提高油库设计效率,降低施工投资和运行费用,本文提出离心油泵管路系统计算机辅助设计。该设计采用了既简单方便,又利于功能扩展的标准模块结构。将使我国油库设计向最优
习近平总书记指出,实施乡村振兴战略,是党的十九大作出的重大决策部署,是决胜全面建成小康社会、全面建设社会主义现代化国家的重大历史任务,是新时代做好“三农”工作的总抓
党的十九届五中全会审议通过了《中共中央关于制定国民经济和社会发展第十四个五年规划和二○三五年远景目标的建议》.从此开启了全面建设社会主义现代化国家新征程,这次全会
10月下旬,一场大雪染遍了广袤的草原,白雪皑皑如梦境般的甘南充满了别样的魅力.rn晾晒棚里,放着才挖出来的中药唐古特大黄,待晾晒至侧根柔软时抖净泥土,削净芦头残留茎叶,便
一、概况我厂配套处的高位仓库,从1974年10月开始建设,采用分阶段实施原则,由单巷道试用向多巷道发展;由单机自动逐步向计算机集中控制及管理过渡。1982年安装调试,1983年7
1956年,苏联茶叶专家来到安徽歙县黄山的长潭茶叶生产合作社考查茶叶生产,在考查中,专家们对社里的茶树栽培管理,提出了许多宝贵意见。苏联专家认为;改造老茶园,是茶叶生产
在批林批孔运动普及、深入、持久开展的大好形势下,我们遵照毛主席“有了优良品种,即不增加劳动力、肥料,也可获得较多的收成。”的伟大教导,把我所和兄弟单位新选出的一些
一、引言检波器的非线性特性是多端口反射计测量的主要误差来源之一,必须加以修正。校准检波器非线性特性的方法已有多种,但这些方法一次只能校准一只检波器。本文提出多端