质项相关论文
<正> 正统数理逻辑实质上仅只涉及了逻辑常项(非范畴词)及其非演算(一),而逻辑变项(范畴词)及其反演算(～)实质上至今未进入数理逻辑......
本文在Kautz提出的G矩阵法的基础上,对诊断G矩阵实行分块独立处理问题进行探讨,同时给出了一种求得最小完全诊断集的简单方法。
O......
以邓小平同志建设有中国特色社会主义理论和党的基本路线为指针,以发展生产力为目标,以深化企业内部改革为动力,以强化各项基础管......
本文寻求一种化简逻辑式的方法——应用BASIC语言程序化简逻辑式,把化简逻辑式的工作交给机器来完成,望在实际应用中把人们从烦杂......
