【摘 要】
：
<正> 引言在数学研究和数学应用中,人们总是要进行大量的推理和计算,推理要有一定的前提和推演规则,计算要有一定的数据和计算法则,这是数学家的常识。但是,推理和计算有什么
论文部分内容阅读
<正> 引言在数学研究和数学应用中,人们总是要进行大量的推理和计算,推理要有一定的前提和推演规则,计算要有一定的数据和计算法则,这是数学家的常识。但是,推理和计算有什么性质,有什么联系,有什么局限性,这些都是需要进行研究的问题。人们研究这些问题,不仅可以探索推理与计算的规律,而且还可以探索数学的本质,寻求新的研究领域,并且还可能发现数学的不同分支之间的共同规律。上述这些问题和研究,就是人们称之为数理逻辑的问题和研究。一百年来,特别是近几十年来这项研究取得了一系列重大的进展和结果,引起了科学界的重视。
其他文献
<正>政府购买服务是政府提供公共服务的一种机制,也是创新社会治理工作的重要载体。为进一步推进政府购买社会服务工作,转变政府职能,上海市奉贤区庄行镇以"万、千、百人"就
库存-路径问题是研究在供应商管理用户库存策略下,供应商如何合理安排长期库存及配送计划的一类问题,属于NP-hard类问题,也是运筹学领域中研究最活跃的方向之一。本文以零售
目的了解2012-2016年来黄南州肺结核疫情的变化特征,采取有效措施降低肺结核发病疫情,为制定适合本地特点的控制结核病政策提供科学依据。方法通过全国结核病信息网络专报系
行为科学注重建立和谐的人际关系氛围,增强群体的团结力和凝聚力,激发群体成员的责任感,强化管理者的领导影响力,主张使用激励的手段来激发被管理者的积极性,以提高工作效率
无人化是未来智慧工厂的大趋势,而替代人工完成包括物件运输、分拣等环节的机器人无疑是智慧工厂的基础,这里将为大家介绍智慧工厂中的AGV小车如何实现无线通讯。随着中国制
露丝·米利肯作为新一代语言哲学家的代表,与传统语言哲学家的研究进路不同,她提出的目的论语义学是从生物进化的视角对语言的意义进行探讨,将语言、思想与生物器官平行而论,
以反渗透膜与超滤膜为研究对象,通过计算跨膜压差、膜通量、渗透系数,对这两种滤膜的过滤性能进行比较分析.
层次网格索引是在传统网格索引的基础上 ,进一步改进 ,减少了传统网格索引的冗余和索引的大小。在层次网格索引的基础上 ,利用客户端和服务器端的双缓冲机制 ,可以减轻网络传
《诗经》是我国宝贵的文化传承品,具有丰富的历史价值,当然其中也不乏对女性形象的描述,这也是顺应当时时代发展的潮流。在诗歌中,作者对当时女性内心欢喜、痛苦等心理情绪进
积极培育和践行社会主义核心价值观，是党中央根据中华民族伟大复兴的历史使命，中国特色社会主义建设的需要做出的一项重大战略决策。要将这项战略决策得以实施，必须使社会主义核