【摘 要】
:
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是
【机 构】
:
中国人民解放军理工大学通信学院基础部!南京航空航天大学计算机科学研究所; 中国人民解放军信息工程大学信息技术学院; 南京航空航天大学计算机科学研究所!南京大学计算机软件新技术国家重
论文部分内容阅读
鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.
其他文献
蛋白激酶的研究不仅有理论意义,而且有重要的现实意义.因为蛋白质磷酸化和去磷酸化(即“可逆蛋白质磷酸化”)是所有具有重要生物学功能的磷蛋白(千种以上)活性、性质改变的“
执法立法会适与否百姓有权提出异议$$ 一些部门在执行法律、行政法规,制定实施细则或办法的过程中,往往会有曲解、误解法律,或导致法律、法规与实施办法发生冲突的现象。以至
<正> 苏联解体以后,形成了一批新的独立主权国家。这些国家大多政局不稳,经济滑坡,独立的脚步迈得沉重而迟缓,有的甚至已沦落到了破产的边缘。与此形成鲜明对照的是,地处原苏
对具有极小内外圆角、在横向和纵向均存在厚度差的带轮零件,进行冲锻成形。利用DEFORM-3D软件,对该带轮零件的冲锻成形工艺中的增厚工艺、极小圆角成形和整形过程进行分析,得
互联网金融机构突破时空限制的服务模式,会使政策性担保机构与合作金融机构之间的空间距离拉长,进而可能导致更为严重的信息不对称,增加担保贷款交易成本,影响政策性担保机构
目的:探究下肢胫腓骨骨折应用桃红四物汤加减联合外固定术的治疗效果。方法:选取2017年1月~2018年4月我院收治的下肢胫腓骨骨折患者56例为研究对象,按照随机数字表法分为对照
<正> 人本主义教育理论认为,学生是涌动着无限活力的生命体,是教育的起点和归宿。教育应该是温馨的,可以沁人心脾,润物无声。关注生命,教育才能拨动生命的“琴弦”,给顽皮的
随着时代和社会的不断发展,财务工作不但要对企业的经营活动进行事后核算和监督,还要经过使用管理会计工具,来推动行业与金融的合作,控制医院的经营过程。作为一种新型的财务
<正> 进入八十年代以来,中国的文学批评家们审视自己的武器架,每每生出感概和惶惑,很少有人还能象他们五十、六十年代的同行那样,对自己武器的性能充满信心,而是或隐或显或强
班主任工作的基础是爱心,"没有爱就没有教育。"每个学生的发展程度不一样,有的快有的慢,这就需要班主任要有更大的爱心和耐性,当学生意识到班主任是真心爱护他,关心他,无论你