【摘 要】
：
一、问题的提出 在 19世纪以前，人们普遍认为所有的问题都是有算法的，所以在数学中寻求问题的一般算法一直是人们的主要目标。例如，正是为了得到判定一切数学命题的真假的算
论文部分内容阅读
一、问题的提出 在 19世纪以前，人们普遍认为所有的问题都是有算法的，所以在数学中寻求问题的一般算法一直是人们的主要目标。例如，正是为了得到判定一切数学命题的真假的算法，莱布尼兹开始了数理逻辑的创立工作。的确，在数学发展的历史上，算法曾经发挥了巨大的威力?
I. PROBLEM PROPOSALS Before the 19th century, it was generally assumed that all problems were algorithmic, so the general algorithm for finding problems in mathematics has always been one of the main goals. For example, Leibniz embarked on the founding work of mathematical logic in order to obtain an algorithm for determining the true or false of all mathematical propositions. Indeed, in the history of mathematical development, the algorithm has played a tremendous power?
其他文献
任何课堂教学都是在一定的班级心理气氛的背景下进行的。心理气氛不仅影响着学生的学习心理和学习行为 ,而且也影响着教师的教学心理和教学行为。一个特定的班级 ,其课堂心理
当代美国人本主义心理学家罗杰斯在《学习的自由》一书中强调“充分发挥作用的人”有4个显著特征:(1)有洞察力;(2)有创造性;(3)有建设性:(4)有选择性。无庸置疑.具有这些特
偷国税偷出了两年刑徐养山原是新疆库尔勒市园艺场职工，１９８４年来到吐鲁番，１９３７年承包了吐市亚尔乡幸福砖厂，自称乡镇企业，实为个人经营。１９８８年，吐市税务局查实徐养山偷漏税款７４８０５．９７元（其中１９８７年偷漏税款
阿勒泰市的古丽扎咨询:前年7月,某事业单位因工作需要,面向社会公开招聘20名40岁以上的下岗失业人员从事公益性岗位工作。我经考试、体检合格后上岗,签订了为期2年的劳动合同
宜昌市举办预算会计人员《预算法》培训班１９９４年１１月宜昌市财政局组织各县市、区、部分乡镇预算会计５０多人举办《预算法》学习班。系统学习了《预算法》、《增值税》、国库管理、分税
▲陕西省2004年度科学技术奖励近日揭晓,我院通信系陈文艺教授主持的《基于SDH的专用以太网接口芯片》、管理系陇小渝教授主持的《电信用户满意指数测评体系方法与运用研究》
食堂工作直接关系到全校师生的身体健康,生命安全,是维持正常教育、教学秩序,提升学校品牌,维护社会稳定的重要保证。我校是重庆市七所直属重点中学之一,根据重庆市学校食品
由我社承办的“第三届中国科协期刊优秀学术论文评选活动”已经基本结束。11月27日,以冯长根教授为主任委员的评审专家委员会通过了最终评审,共评选出优秀论文100篇,覆盖50个
日前,人社部发布《2012年度人力资源和社会保障事业发展统计公报》。《公报》涉及劳动就业、社会保险、人才队伍建设、公共人事管理、工资分配等八大方面。本刊摘录其中部分
表1科技文章序号单位姓名文章名称刊登期刊年.期1技术中心韦宁论CI战略与图书馆的CI建设泸州科技2004.22硝铵锌陈锦硝铵改性技术———硝铵锌生产专利技术全国化工硝酸硝酸盐