【摘 要】
：
【正】 一九八二年,我参加了在北京召开的全国文科数理逻辑教学和科研讨论会。为促进我国逻辑学的现代化,会上由北大教授晏成书介绍了美国几所著名大学逻辑课程设置,其中提到
论文部分内容阅读
【正】 一九八二年,我参加了在北京召开的全国文科数理逻辑教学和科研讨论会。为促进我国逻辑学的现代化,会上由北大教授晏成书介绍了美国几所著名大学逻辑课程设置,其中提到了哈佛大学哲学系,开设了课程《逻辑和哲学》:主要介绍了现代逻辑在哲学方面的三个成果:哥德尔不完全性定理、塔斯基的形式语言的真理论、图灵机和可计算性。既包括数学、逻辑内容也包括哲学意义。多年来我比较注意哥德尔、图灵等的工作,听到有这么一本教材,当然很感兴趣,一直想搞到该书,遗憾的是未获结果。不过在此期间,搜集到了哥德尔、塔斯基、图灵的原著和一批有
其他文献
任何课程的改革必须有课程资源的支持。随着我国基础教育课程改革不断深化,乡土课程资源已成为历史学科的重要资源。加强乡土课程资源的开发与管理,对提高历史学科的教学质量,促进学生有个性的全面发展,具有重要的作用。作者在对肇庆市的乡土资源进行收集筛选甄别的基础上,把乡土资源与普通高中历史教材知识进行整合,分析当前乡土课程资源开发与管理中存在的问题,并提出针对性的改善措施。论文分为以下几个章节。第一章绪论。
针对自主开发的以六氟丙烷（FC-36）为溶剂，六氟丙烯和氧气为原料，合成六氟环氧丙烷的新工艺，考察了原料及溶剂配比、反应温度等条件的影响规律，进而着重研究了该反应的动力学模型。
入侵及有害生物数据库是防控生物入侵的重要信息平台。数据库的使用旨在为从事入侵生物相关工作的科研机构和职能部门提供外来入侵物种数据查询、检测监测信息发布、科研成果
副词“在”和助词“着”在语法意义上有相通之处，也有不同之处。相通之处表现为，它们拥有共同的语义特征——[＋延续性]。相异之处表现为，它们存在两组对立的语义特征——[＋事件判
清代四川盐业的兴起,让盐商成为了一个重要的社会群体。由于传统文化以及社会地位等因素的影响,四川盐商重视地方教育,以捐资、捐建学校,建立商学、生息利银补助教育费用等方
新课改中,考试改革作为课程评价机制改革的关键环节成为了人们关注的焦点。《基础教育改革纲要(试行)》提出了发展性评价的理念,同时中国学生发展核心素养模型应运而生。伴随
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
绒类织物的绒毛牢固性直接影响其质量及穿着效果。文章通过不同的实验仪器以及实验参数的选择寻求最佳的实验环境来模拟绒类织物绒毛在实际穿着过程中的受力情况。