【摘 要】
：
<正> 数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方法的理
论文部分内容阅读
<正> 数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方法的理论。在现代科学技术领域中,数理逻辑越来越被人们广泛地应用,在哲学流派中,数理逻辑也被当作有力的工具。随着数理逻辑不断深入地发展,它的作用和职能都发生了深刻的变化,
其他文献
由于水资源短缺及水体污染日益严重,中水回用技术自产生以来发展非常迅速。生活污水由于来源稳定、水量充足及可生化性好,非常适合做中水水源。经过处理的中水,可以应用于工
交通通讯是人们生活不可或缺的一部分,对经济的发展具有重要作用。利用扩展线性支出系统模型(ELES)对2002年～2008年我国农村居民交通通讯的边际消费倾向、需求收入弹性、基本
本文以“情境教学”为研究对象,综合运用了文献法和调查法等研究方法,拟通过对“情境教学”相关研究的客观整合和梳理,探究如何在义务教育阶段的语文教学中应用情境教学策略
减蛋综合征病毒(Egg Drop Syndrome Virus,EDSV)属于禽腺病毒Ⅲ型,能够使蛋鸡产软壳、薄壳、无壳蛋,产蛋率严重下降,造成严重的经济损失。本病可使鸡产蛋率下降20%~30%,蛋的
毫无疑问,罗尔斯的公平正义观是一种重要的正义理论,但其差别原则往往缘于误解而受到批判。误解的一个原因是他对差别原则的表述与说明,另一个原因则是因为此原则与人们的应
统计学是以数据为研究对象的方法论科学。大数据时代的到来，对数据的收集、整理、分析和展示的各个环节，都产生了变化。1998年设定的高等院校本科统计学专业人才培养模式已不再
12月9日讯丝绸女装企业超过2000家、自主品牌350多个,数量占全国一半的杭州市,近日又传出信息:创建国内第一个丝绸女装产业联盟。据悉,杭州丝绸女装产业联盟在国内尚属首次
离子热合成法作为磷酸盐微孔材料合成的一种新途径,其特色在于离子液体既可以作为溶剂又可以作为模板剂参与反应。离子型低共熔混合物通常由氢键的供体和季铵盐组成,其具有类
民国时期,由于自然和人为因素的影响,河南灾荒严重,给河南造成了巨大的影响。灾荒严重发展的最主要的后果是造成人口的流移和死亡。水旱灾害及其引起的并发症,给当地的居民带
<正>散瘀止痛方是陆金根教授依据多年临床经验拟定的治疗肛肠疾病的熏洗方[1],方由丹参、徐长卿、莪术、芒硝等组成,具有散瘀止痛消肿的功效。本观察选取60例混合痔术后患者,