云南高校图书馆联盟文献共享服务平台- 罗秋棠

罗秋棠: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：华东师范大学软件学院更多>>; 发文主题：SHEFFER函数准完备集更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《武汉大学学报（理学版）》更多>>; 所获基金：国家自然科学基金湖南省科技计划项目更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

部分多值逻辑中保正规关系的准完备集的性质被引量：1: 《武汉大学学报（理学版）》2012年第2期135-138,共4页刘任任罗秋棠王婷; 国家自然科学基金资助项目(60673193);湖南省科技厅计划项目(2011FJ6038);湖南省教育厅科学基金项目(11C1216);湘潭大学自科基金项目资助(10XZX19); 在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了...; 关键词：部分多值逻辑准完备集 SHEFFER函数保关系最小覆盖