再论哈密顿原理及其不变性

用数理逻辑的语言表述了哈密顿原理及其在正则变换下的不变性,并给以证明。     

数理逻辑教学内容研究

数理逻辑是研究推理的数学分支,这部分内容概念抽象,方法灵活,学生很难理解和掌握。为了提高教学效果,研究数理逻辑的主要内容,即命题逻辑与一阶逻辑,分析两部分之间的内在联系及区别,并列举实例来说明它们的联系,在教学过程中始终把握住它们的关联性,可以明显提高教学效果。     

计算机科学中的元数学思想

元数学的理论在计算机科学中有着广泛的应用。本文介绍了一些计算机科学中所体现出的元数学思想,提出了在计算机技术领域中应从数学基础、数理逻辑等相关理论着手寻找突破的思想。     

试评逻辑实证主义的哲学观

<正> 哲学最早产生于奴隶社会,此后经历了一个漫长的发展过程,在不同的历史时期,由于人们的认识能力和实践水平的差异,出现过不同的哲学观。但直到马克思主义哲学产生以后才有了科学的哲学观,即哲学是关于自然、社会和人类思维的最一般规律的科学,是科学的世界观和方法论。马克     

基于Rough集的Rough数及λ算子的逻辑价值

本文在介绍Ｒｏｕｇｈ集基础上，提出了基于Ｒｏｕｇｈ集理论的Ｒｏｕｇｈ数概念及其运算法则，并给出了这种Ｒｏｕｇｈ数应用实例及其近似程度算子λ在Ｒｏｕｇｈ逻辑中的理论价值。     

离散数学教学中的命题符号化难点讨论

离散数学是计算机科学与技术专业的一门重要的专业基础课程,而数理逻辑是其最复杂内容之一,而进行逻辑推理首先要进行命题符号化,如何进行准确的命题符号化正是本文要讨论的问题。     

拓扑系统之间的单-满映射和满-单映射

利用一般拓扑学中的嵌入映射和商映射的部分特征,在拓扑系统之间引入了单-满映射,满-单映射的概念,并构造了相应的实例（一个非连续的单-满映射和一个非连续的满-单映射）．通过讨论它们相应的性质说明了这些概念提出的合理性和必要性．     

关于数理逻辑的几点辨析

数理逻辑的大量方法已运用于计算机软件的理论研究中,本文主要讨论了数理逻辑中容易出错的三种情况,并对这三种情况分别给出了具体的实例分析,以期学生能够准确的掌握。     

多元智能理论在中职学校教育教学中的应用

翟华德一加德纳的多元智能理论，提出了智能的新定义：智能是在某种社会或文化环境的价值标准下，个体用以解决自己遇到的真正的难题或产生及创造出有效产品所需要的能力”。按照他的定义，人的智能应该是多方面的，包括：语言智能、数理逻辑智能、音乐智能、空间智能、身体一运动智能、人际智能、自省智能、自然智能，每个人在这八种智能上所拥有的量参差不齐，所以每个人都各有所长。     

离散数学中的数理逻辑与集合论教学

借鉴其他学者的研究方法,并结合笔者自己的教学工作,针对离散数学中的数理逻辑和集合论部分知识中的教学与实践作探讨;阐述从科研工作、上机操作、注重趣味性、类比学习等方面增加课堂互动,以提高学生的学习主动性的实践。