等价判定相关论文
[摘 要] 向量等式S S S =0是一个基本的等式，证明综合度大，技能要求高，数学思想丰富.该式除了形式具有对称美外，是一个非常一般的结......
范式是命题逻辑中的重要概念,范式是把命题公式化归为一种标准的形式.范式最大的作用是可以进行两个命题的等价判定.本文通过剖析......
可逆逻辑综合在量子计算和解决计算机热耗问题中起着关键性的作用，而可逆逻辑综合的规模一直是研究者们关心的重要内容，ω阶的可逆逻......
本文主要研究拟本质内射半模和本质平坦半模这两类特殊半模，讨论了拟本质内射半模、本质平坦半模和k-本质平坦半模的性质及k-本质平......
在Hilbert空间上的分析以及算子的谱理论是现代数学，物理及工程科学的众多分支中不可缺少的工具.数学物理，量子力学，信号处理和遍历理......
本文主要对P-投射半模和P-平坦半模这两类特殊模进行了研究，讨论了P-投射半模、P-投射维数、P-投射盖、P-平坦半模和K-P-平坦半模的......
本文主要研究了单投射半模、单内射半模和拟单内射半模。主要内容包括：第一部分是预备知识，列出了本文涉及的相关定义及命题。第二部......
学位
在可逆逻辑函数综合中，分类可以使模块重复使用。把布尔函数NP-N等价的概念推广到可逆逻辑函数中，得到了可逆逻辑函数NP-NP等价的概......
