拔尖创新人才培养——写在图灵诞辰100周年

<正>图灵1912年6月23日出生于伦敦近郊的帕丁顿(Paddington)自治镇,13岁时进入舍本中学(SherbourneSchool),1931年进入剑桥的"国王学院"(King’sCollege)攻读数学。1935年,图灵开始对数理逻辑发生兴趣,以他的才华、执着和努力,在24岁时提出了一个     

基于计算思维的数理逻辑教学改革探索

针对离散数学课程中的数理逻辑教学,分析计算思维与数理逻辑之间的内在关系,从计算思维的角度对数理逻辑教学内容进行梳理,论述如何将"对问题进行抽象建模—形式化—自动化—分析评估"这一思维模式贯穿于教学过程中,以及如何在教学中强调计算思维的基本概念和基本方法。     

远程作业技术中公式编辑问题的解决方案

随着远程教育的不断发展,远程作业技术的研究与开发被提到越来越重要的位置。对于理工科专业的基础课来讲,学生在作业中需要输入大量的数学表达式,这些数学表达式最终必须由计算机自动进行识别和批改。针对这种情况,提出了适合于计算机自动识别的数据结构以及特殊结构的数据逻辑关系等,在此基础上对作业系统中的公式编辑器进行了设计和开发。     

离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。     

“知识表示与知识推理”知识体的教学设计

知识表示与知识推理是智能信息处理的基础,在计算机科学和人工智能的众多领域有着广泛应用。知识表示与知识推理的教学,在CC2001和CS2008给出的计算机科学知识体中占据了两个知识单元的位置,但在国内尚未得到足够重视。本文首先阐述将知识表示与知识推理作为一门课程进行教学的必要性;接下来以CC2001和CS2008为参照,给出一个32课时的"知识表示与知识推理"教学知识体;最后对教学实践中遇到的主要问题进行分析,并针对这些问题提出相应解决对策。     

从数理逻辑的观点看邓析的“两可”之说

邓析是春秋末期一位杰出的辩者,同时也是一位颇受争议的辩者。古往今来,人们对于他的"两可"之说的讨论从未停止过。本文将尝试运用数理逻辑的观点分析邓析的"两可"思想,探寻其合理因素。     

正规模态逻辑S4的表推演系统TS4

讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。     

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 ,还会起到一定的指导作用