| 部分K值逻辑中完满对称函数集的确定和构造 |
| |
| 引用本文： | 龚志伟,刘任任. 部分K值逻辑中完满对称函数集的确定和构造[J]. 计算机工程与科学, 2013, 35(2): 81-84 |
| |
| 作者姓名： | 龚志伟 刘任任 |
| |
| 作者单位： | 1. 中南林业科技大学理学院,湖南长沙,410004
2. 湘潭大学信息工程学院,湖南湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金资助项目，中南林业科技大学校青年基金资助项目 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。
|
| 关 键 词： | 多值逻辑 准完备集 完满对称函数集 |
| 收稿时间： | 2011-11-07 |
| 修稿时间： | 2012-03-01 |
Determination and conformation of full symmetric function sets in partial K-valued logic |
| |
| GONG Zhi-wei , LIU Ren-ren. Determination and conformation of full symmetric function sets in partial K-valued logic[J]. Computer Engineering & Science, 2013, 35(2): 81-84 |
| |
| Authors: | GONG Zhi-wei LIU Ren-ren |
| |
| Affiliation: | (1.College of Science, Central South University of Forestry and Technology,Changsha 410004;2.College of Information Engineering,Xiangtan University,Xiangtan 411105,China) |
| |
| Abstract: | According to the completeness theory in partial k valued logic, firstly, the number of preserving binary full symmetric function sets is determined for general K, and the method of constructing these function sets is given out; secondly, the number of all full symmetric function sets is determined for general K, and the method of constructing these function sets is given out. |
| |
| Keywords: | multiple valued logic；precomplete sets；full symmetric function sets |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
