简介：复习目标了解命题的组成、互逆命题的概念以及反证法证明的基本步骤；了解轨迹的概念及五种基本轨迹，并能根据五种基本轨迹写出一些简单的轨迹；掌握教材所涉及的几种基本作图，能正确而熟练地进行尺规作图．

简介：

简介：<正>【复习目标】了解四种命题及其相互关系;掌握教材所涉及的基本作图;了解反证法证明的思路,理解它的应用;了解轨迹的概念,熟悉五种基本轨迹并能根据五种基本轨迹直接得出一些简单的轨迹。

简介：在n维欧氏空间En中,应用向量方法,给出了关于n维单形的两个优美的轨迹定理.

简介：

简介：文[1]、文[2]从“距离”的角度对“两个定点相关联的轨迹问题”进行了详尽而严密的讨论，拜读之后受益匪浅．由于“距离”与“斜率”同属平面解析几何的两个基本量，这就给利用“斜率”来研究轨迹问题创造了可能性；而对于平面上的一个动点与另外两个定点之间的位置关系，也确实可以从其连线斜率的角度来加以反映．所以，本文拟以直线“斜率”之间的定量关系为视角，对两个定点相关联的轨迹问题进行一番新的探究．

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

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

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：本文首先介绍了粒子群算法（PSO）的基本模型及其运行机制；然后，通过粒子迭代位移、轨迹分析和函数上的参数试验，研究了c1，c2参数对粒子行为和算法进化性能的影响，以及对粒子目标识别和方向感的影响；接着，又探讨了PSO中的解的更新空间不断塌缩、粒子的“游荡”与“振荡”、粒子进化与多样性损失等几个确定性现象和随机性搜寻的必要条件；最后，分析了早熟收敛和局部收敛的原因。通过研究，加深了对粒子群算法（PSO）基本模型运行机制的认识和对C1，c2参数特性的了解。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。