您的位置: 专家智库 > >

周榕

作品数:1 被引量:0H指数:0
供职机构:武夷学院数学与计算机系更多>>
相关领域:理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇主范式
  • 1篇主析取范式
  • 1篇析取范式
  • 1篇极大项
  • 1篇极小项
  • 1篇范式

机构

  • 1篇武夷学院

作者

  • 1篇黄忠铣
  • 1篇周榕

传媒

  • 1篇武夷学院学报

年份

  • 1篇2016
1 条 记 录,以下是 1-1
排序方式:
主范式的求解及其应用
2016年
数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法及构造树法等;并且论述主范式在命题公式中的若干作用。
黄忠铣周榕
关键词:主析取范式极小项极大项
共1页<1>
聚类工具0