分析中的集合与逻辑演算
-
1陈慕昌.联结词的完备集[J].苏州大学学报(自然科学版),1989,5(1):47-51. 被引量:1
-
2张家秀,殷志祥.离散数学中的DNA计算[J].计算机工程与应用,2003,39(28):128-129. 被引量:2
-
3朱寿华.逻辑演算与分析教学[J].数学教育学报,1993,2(2):86-87. 被引量:1
-
4莫绍揆.概括原理及其消除——一个完备的逻辑演算[J].中国科学(A辑),1993,23(9):897-903. 被引量:1
-
5殷志祥,张家秀,许进.案例分析中的DNA计算[J].系统仿真学报,2003,15(10):1415-1417. 被引量:3
-
6孙明湘,李霞飞.逻辑演算与形式化方法[J].中南大学学报(社会科学版),2003,9(1):21-25. 被引量:2
-
7陈小芳,赵正波.参数Kleene系统中广义三-I算法的变化[J].渭南师范学院学报,2008,23(2):21-22.
-
8孙凤芝,马占春,刘建群,丛惠敏.浅析离散数学在计算机科学中的应用[J].齐齐哈尔大学学报(自然科学版),2004,20(4):62-62. 被引量:2
-
9孙侠,殷志祥,赵前进,许峰,徐辉.分子生物计算在逻辑演算中的应用[J].安庆师范学院学报(自然科学版),2012,18(3):39-41.
-
10李骏,兰倩,夏亚峰.标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J].甘肃工业大学学报,2003,29(4):132-136. 被引量:9
;