3DimCAD---计算机图形技术
               
离散数学
 

第一章 命题逻辑

命题符号化及联结词

命题公式及分类

等值演算

联结词的全功能集

对偶与范式

推理规则

 

返 回

 

 

Copyright © 2006 CAX Software R&D Center, All Rights Reserved.

版权所有 CAX软件研发中心