10.3969/j.issn.1674-098X.2012.36.184
关于范式求法解析
离散数学中,主合取范式的目的在于讨论公式的主合取范式.该文中对主合取范式求解方法进一步推广,共给出4种求解方法.真值表法、推演法、用真值表法求的主合取范式、用推演法求的主析取范式等4种方法.
主范式、推演、方法
G64(高等教育)
2013-06-20(万方平台首次上网日期,不代表论文的发表时间)
共1页
256
10.3969/j.issn.1674-098X.2012.36.184
主范式、推演、方法
G64(高等教育)
2013-06-20(万方平台首次上网日期,不代表论文的发表时间)
共1页
256
国家重点研发计划“现代服务业共性关键技术研发及应用示范”重点专项“4.8专业内容知识聚合服务技术研发与创新服务示范”
国家重点研发计划资助 课题编号:2019YFB1406304
National Key R&D Program of China Grant No. 2019YFB1406304
©天津万方数据有限公司 津ICP备20003920号-1
违法和不良信息举报电话:4000115888 举报邮箱:problem@wanfangdata.com.cn