论文部分内容阅读
本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始,经布尔、德·摩根,到弗雷格和罗素,后来又产生了康托尔的集合论,哥德尔的完备性定理与不完全性定理。近代数理逻辑也分成了若干流派,对相关问题的研究日益深入。
数理逻辑的产生和发展
【摘 要】
：
本文较为简明扼要地介绍了数理逻辑发展史。从莱布尼兹始,经布尔、德·摩根,到弗雷格和罗素,后来又产生了康托尔的集合论,哥德尔的完备性定理与不完全性定理。近代数理逻辑也
【机 构】
：
中国社会科学院哲学研究所
【出 处】
：
北京航空航天大学学报(社会科学版)
【发表日期】
：
2000年01期
其他文献
以《工业机器人编程与系统设计》教学过程中存在的问题为导向,以自身教学方式、教学设计、教学过程为切入点,结合教学实际提出该课程提高教学效果、提升教学质量、完善教学体
首先给出了停车诱导系统和停车诱导标志的概念,分析了停车诱导标志的重要性,提出了停车诱导发布屏的设计和选址原则。然后通过调查分析,确定了停车诱导标志的颜色,并提出了城
近几年,高考试题在逐渐趋向标准化,试题覆盖面广、题量大,着重考基本功,但又有很大的灵活性。根据这个特点,要想取得优异成绩,就必须打好扎实的基本功,并会灵活运用。抓基本
《健康中国行动(2009-2030)》和《中共中央国务院关于深化教育教学改革全面提高义务教育质量的意见》的出台,使得《国家学生体质健康标准》作为国家层面的顶层设计呈现出新的
目的：观察“俞募配穴”法对于缓解期中度支气管哮喘治疗的临床疗效,评价针灸治疗支气管哮喘的临床疗效,从而为支气管哮喘的临床治疗提供科学依据。方法：来江苏省中医院针灸康复
目的：观察不同缺氧条件下内皮细胞凋亡情况及内质网应激因子表达变化情况，探讨内质网应激通路参与不同缺氧条件下主动脉内皮细胞凋亡的相关机制。方法：24只SPF级wistar大鼠随机
构建长效机制是确保学习型高校办公室建设持久、实效的重要保障。需要从健全"导学、助学、督学、考学、励学"五方面的机制着手努力。
花椒是我国特有的香辛料,具有耐贫瘠、易栽培、易管理、经济价值高等特点,是甘肃、云南、四川、重庆等西部地区农民脱贫致富的重要产业之一。近年来花椒种植面积快速扩大,但是对其栽培管理技术的研究相对滞后,农户普遍凭经验施肥。重庆是我国第四大花椒主产区,九叶青花椒是重庆的主栽品种,在栽培管理中每年采用强回缩修剪,其对养分的需求规律不同于其他品种,但是关于九叶青花椒的生长及养分需求规律尚不清楚、九叶青花椒的施
针对目前我国高职院校存在忽略对人才培养质量和特色重视的问题,通过对当前高职院校的办学模式、人才培养目标、师资队伍建设等方面的分析,提出了加强职业院校领导能力建设,