F命题演算

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。     

浅析离散数学在计算机科学中的应用

数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于离散数学的数理逻辑中的命题与逻辑演算，其在计算机硬件设计中的应用更为突出。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

略谈中学数学的逻辑基础的教学

为解决教学上的重点难点，本文从学生实际出发，抓住关键，编制这一章节的内容结构框图。根据教材潜在形式逻辑的线索，采取分析归纳，提纲挈领，旨在形成学生的思维结构的同时去理解命题逻辑的概念，掌握逻辑命题的演算和逻辑联结词，及其在中学数学中应用。     

模糊错误逻辑事物分解转化联结词的研究

给出模糊错误逻辑事物分解转化联结词所涉及的概念、运算,并对模糊错误逻辑事物分解转化联结词与外延联结词∧合取,∨析取,∨bxr不相容析取等和模糊错误逻辑事物分解转化联结词与内涵联结词┓bz不只否定,内涵联结词┓bj不尽否定,内涵联结词┓bx不限否定,内涵联结词┓bd不断否定等的关系作了一些探索和研究。     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

Fuzzy时态逻辑

在现实生活中,我们日常用语具有时间性和Fuzzy性,计算机处于翻转状态时的描述,随时间的改变而变更命题真假的逻辑都具有这两个特点。大家所熟知的二值逻辑不能解决这一类问题,这里提出的Fuzzy时态逻辑,主要是研究具有这样两个特征的语句。本文针对时态语句的特点,引进了三个时态算子,并将时态语句符号化。在此基础上又引进了四个联结词和两个量词,这样就可以对语句作出全时间性(即对过去、现在、将来)的判断。在定义了广义的“历史”和“历史时刻”两个概念后,对时态语句进行了语义解释,并在各种有序的时间上进行语句赋值,从而给出了Fuzzy时态逻辑的一个极小弱谓词演算系统Jt。     

SQL语言中具有全称量词的查询问题

以三个关系为例,应用离散数学的有关理论,把具有全称量词的查询问题转换成等价的存在量词的查询问题,并用SQL语言予以实现.     

量子测量逻辑与推理理论

已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比较式和封闭量子子系统作为逻辑语言的原子命题,并定义一组量子联结词;最后,按结构归纳方式给出逻辑语言的全局公式。通过比较、分析已有的逻辑语言,说明量子测量逻辑的表达能力。作为公理化系统,给出量子测量逻辑的推理规则、元定理等相关理论。     

逻辑:科技期刊编辑者的基本功

从命题结构及其真假,逻辑推理与证明,逻辑量词的运用三个方面出发,结合《数学教学研究》杂志稿源中常见的错误,说明扎实的逻辑功底是科技期刊编辑者的基本素养。     

离散数学与计算机科学

论述了离散数学的特征、特点以及与连续数学的区别．并阐述了离散数学是学习、掌握和研究计算机科学的有力工具．介绍了离散数学对计算机科学的贡献。     

浅谈《高等数学》中基本概念及其矛盾概念的教学

谓词逻辑中的两个量词是理解高等数学中极限、收敛等基本概念及其矛盾概念的基础，运用这两个量词的关系是指导教学的关键。     

离散数学课程的教学与实践

离散数学是计算机类专业中一门重要的专业基础课程。根据计算科学专业人才培养和社会需求,结合离散数学课程的特点,作者结合自己的教学实践,对离散数学教学的现状做了全面的分析,并从教学内容、教学方法、实验教学等方面提出在专业教学中改进的对策和措施,从而提高离散数学的教学效果。     

数学思想方法教育：数学教育的根本点

基于大学数学教育的实际,论证了数学思想方法教育是大学数学教育的基本点,探讨了目前大学数学教育改革的成就与不足,提出了实施数学思想方法教育的构想。     

《离散数学》教学谈

本文针对离散数学教与学中存在的问题,提出了六点解决方案。     

《金融数学》实验教学方法探索

《金融数学》是金融学专业的一门基础课程,金融数学方法是金融工程领域重要的工具。文中界定了《金融数学》课程的教学内容,分析了《金融数学》的教学特点和难点。最后从《金融数学》教学要求和目的出发,结合学科特点,以离散时间金融为例,探讨了具体的教学方法。     

离散数学网络辅助教学系统的设计与实现

介绍了基于ASP的离散数学网络辅助教学系统的设计与实现.该系统应浙江万里学院网络教学的需求而开发的,具有学习讨论、网上答疑、作业处理、题库维护等功能,对促进离散数学课程的教学,具有良好的效果.     

离散随机变量数学期望的几种求法

从实践的角度,给出了计算离散随机变量数学期望的几种方法.     

数学奥林匹克的分析与探讨

通过对数学奥林匹克简况的分析,认为数学奥林匹克已成为数学教育中的一股世界性潮流。它应成为数学教育的一个重要研究方向和组成部分。文中对确立“奥林匹克数学”地位和高师数学系对数学奥林匹克教练员的培养途径进行了建设性的探讨。