高中信息技术教学促进学生多元发展的几点探讨

霍华德·加德纳教授发现并提出的多元智能理论认为人的智能是多元化的,每个人都具有多元智能,即内省智能、语言智能、数理逻辑智能、视觉空间智能、音乐智能、肢体动觉智能、人际关系智能、自然探索智能(后增),代表了八种不同方面的能力.     

计算机学科教学改革：北航式的奋斗——祝贺北航计算机系成立三十周年——从数理逻辑观点看计算机专业的理论基础探讨

人才培养是一个大学得以存在的根基。北京航空航天大学计算机学院一直以培养高质量的计算机专业人才为学院的核心工作。自1958建立计算机解算专业、1978年建立计算机系以来,经过几代人的不懈努力和探索,终有一些收获。总结学院多年办学经验,北航精炼出“研究型学院人才培养模式和培养体系”,该成果在2005年获国家教学成果一等奖,同时富于创新模式的“先进计算机网络技术实验基地的建设”获2005年国家教学成果二等奖;     

离散数学中数理逻辑部分教学方法探讨

离散数学中数理逻辑部分由于概念抽象、推理独特、方法灵活,学生很难理解和掌握。本文介绍了笔者根据离散数学中数理逻辑的教学要求,结合教学中遇到的问题,以教学理论为指导,将多种教学手段和方法应用于教学中,实践证明收到了很好的效果。     

制约逻辑在人工智能中的应用

本文从数理逻辑对人工智能发展的局限出发,分析了制约逻辑与人工智能的辩证关系,最后总结了制约逻辑为人工智能的智能模拟提供了理论基础和推理作用。     

浅谈数理逻辑在计算机科学中的应用

数理逻辑是离散数学课程中研究推理的逻辑学科,它为确定一个给出的论证是否有效提供各种法则和技巧,在计算机科学里用来检验程序的正确性,也可以验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用,必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。     

基于KBE的壳体内部管路设计系统

CAD/CAM技术发展至今,已经经历了二维绘图、线框模型、自由曲面造型、三维实体造型和特征造型等重要的发展阶段,期间又有参数化,变量化等辅助技术的出现。这些技术的发展奠定了KBE的基础。KBE是一门新兴的边缘学科,它以研究信息处理为主,并提供开发智能系统的技术,是人工智能、数据库技术、数理逻辑、认知科学和心理学等学科交叉发展的结果。     

数理逻辑中几种常见的证明方法

数理逻辑是《离散数学》的难点之一,其主要原因是内容比较抽象且方法较独特,加之题型以知识较广的证明题居多。结合适当的例题总结数理逻辑中几种常见的推理证明方法,以期在帮助学生掌握命题逻辑的推理证明方法的同时,又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力。     

数理逻辑教学中的例题选择

在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。