QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 概念格在二值命题逻辑命题集约简中的应用 期刊论文 http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200708023&dbcode=CJFQ&dbname=CJFQ2007, 2012, 2012 李立峰; 张东晓 收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19 完备性定理  形式背景  Γ约简  概念格  completely theorem  formal context  Γ-reduction  concept lattice  O141   二值命题逻辑公式的语构程度化方法 期刊论文 http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=dzxu200802021&dbcode=CJFQ&dbname=CJFQ2008, 2012, 2012 张东晓; 李立峰 收藏  |  浏览/下载：3/0  |  提交时间：2017/06/19 二值命题逻辑  真度理论  语构真度  τ-相容理论  two-valued propositional logic  truth degree theory  syntactic truth degree  τ-consistent theory  O141   任意区间上的广义N范数与生成元 期刊论文 2010, 2010 陈志成; 何华灿; 毛明毅; Chen Zhicheng; He Huacan; Mao Mingyi 收藏  |  浏览/下载：2/0 论罗素《数学原则》中的联结词 期刊论文 2010, 2010 郑伟平 收藏  |  浏览/下载：1/0