分类讨论的数学思想及其应用(4)

第四讲:分类讨论的运用(一)从前面三讲中我们已经知道,解分类讨论题的主要过程是进行逻辑划分和对每一类做出讨论、证明、求解等等.高考不仅是数学知识的考查,也是数学思想方法的考查.高考的能     

基于K图的函数RM展开式在固定极性下的最小化

分析了K图的性质，发现在K图中过某格的所有聚合圈相应的各乘积项所含变量与该格对应的最小项均有相同的极性，在此基础上提出了得到基于K图函数RM展开式在固定极性下的最小化的图形方法，该方法可以从K图直接得到函数的最小化的RM展开式，从而省略了传统的把K图转变为bj图再求最小化的步骤，它具有直观、简单、易于掌握等特点。此外，文中还提出了该方法的改进算法。     

分解定理的网络结构分析

本文首先将逻辑神经元推广为模糊逻辑神经元，在此基础上证明了有关分解定理建模的两个重要定理，最后给出了分解定理的网络表示。     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

逻辑L′ω1ω及其上的几个保持性定理

在无限长逻辑逻辑L′ω1ω的一个子逻辑逻辑L′ω1ω上建立了几个保持性定理。     

从有序到混沌的计算机模拟——逻辑斯蒂方程的演示

介绍利用计算机ＩＢＭ３８６模拟逻辑斯蒂方程从有序到混沌的方法和结果。     

辨析命题的否定、命题的否命题

在简易逻辑这一节中，我们学习了命题的概念，在这一节中出现了两个极易混淆的概念：命题的否定与命题的否命题．     

Incremental Unknowns Method for Solving Three-Dimensional Convection-Diffusion Equations

We use the incremental unknowns method in conjunction with the iterative methods to approximate the solution of the nonsymmetric and positive-definite linear systems generated from a multilevel discretization of three-dimensional convection-diffusion equations. The condition numbers of incremental unknowns matrices associated with the convection-diffusion equations and the number of iterations needed to attain an acceptable accuracy are estimated. Numerical results are presented with two-level approximations, which demonstrate that the incremental unknowns method when combined with some iter- ative methods is very effcient.     

简易逻辑知识解读点滴

数学是一门逻辑性很强的学科 .学习数学时 ,处处涉及命题之间的逻辑关系和推理论证 .高中数学新教材“简易逻辑”结合中学数学内容 ,介绍一些简单而又实用的逻辑知识 ,使学生进一步弄清命题与命题之间的逻辑关系 ,增强判断是非的能力和推理能力 ,避免一些易犯的逻辑错误 ,从而有助于学生学好数学 .但作为我们中学数学一线教师 ,往往都没有系统地学习过逻辑学 ,对逻辑知识存在一定的认知缺陷 .本文结合自身的教学实践 ,谈点肤浅的认识 ,敬请同仁斧正 .1　命题与判断初高中共有两次命题的定义 ,初中数学为了便于学生接受 ,给命题下的定义是 :…     

“算法初步”一章中若干问题的探讨

“算法初步”这一章是高中新课改数学新增的内容之一，人教A版教材是编写在必修3的第一章，教完这一章，笔者觉得有些问题值得探讨!本文将阐述这些问题，并提出解决方案．