关于范式求法解析

被引：1

作者：

吴双权

机构：

[1] 呼伦贝尔学院教务处

来源：

科技创新导报 | 2012年 / 36期

关键词：

主范式; 推演; 方法;

D O I：

10.16660/j.cnki.1674-098x.2012.36.006

中图分类号：

O158-4 []; G642 [教学理论、教学法];

学科分类号：

070104 ; 040102 ;

摘要：

离散数学中,主合取范式的目的在于讨论公式的主合取范式。该文中对主合取范式求解方法进一步推广,共给出4种求解方法。真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法。

引用

收藏

页码：256 / 256

页数：1

相关论文

共 6 条

[1]

离散数学.[M].杜忠复;陈兆钧主编;.高等教育出版社.2004,

[2]

离散数学.[M].倪子伟;蔡经球编著;.科学出版社.2001,

[3]

离散数学.[M].尹宝林等编著;.高等教育出版社.1998,

[4]

离散数学.[M].耿素云;屈婉玲编著;.高等教育出版社.1998,

[5]

离散数学初步.[M].严士健主编;.科学出版社.1997,

[6]

离散数学导引.[M].马振华编著;.清华大学出版社.1993,