定理证明
更新时间:-- | 阅读量: 95

(1)proof of theorem (2)theorem proving

搜索到与“ 定理证明”相关的文献共 3条

投影矩阵分解定理的一种证明
利用初等矩阵理论方法,证明了投影矩阵分解定理.此定理是研究复杂系统的基础定理.对称分析理论和正交分析理论是研究复杂系统的基本理论,而矩阵象是研究对称性和正交性的主要工具,此定理的主要作用是研究处理矩阵...

《许昌学院学报》 2011年05期关键词: "投影矩阵"," 正交谱分解"," 特征向量"," 矩阵象" 收藏
唯一补格中与分配性的等价条件和关于Peirces定理的证明
本文首先提出唯一补格与原子对偶原子相关的充要条件;然后对Peirces定理第4步证明提出了新的方法;进而提出并证明了唯一补格中与分配性的四个等价条件;本文最后提出了在唯一补格中可以推出分配性的四个等价...

《模糊系统与数学》 2020年01期关键词: "唯一补格"," 分配格"," Peirces定理"," 原子" 收藏
哥德尔定理证明对自指悖论的化解及其自组织涌现机理
哥德尔定理证明的核心思路可以概括为以化解"说谎者悖论"中蕴含的"真假自指悖论"为目标,区分思维层次,发现新概念/逻辑(即"可证"概念)的创新过程,这一"利用悖论""消解悖论"的过程可以用思维的自组织涌...

《系统科学学报》 2020年01期关键词: "哥德尔定理"," 自指"," 悖论"," 自组织"," 涌现" 收藏