多值逻辑函数的结构理论研究-控制理论与控制工程专业论文.docxVIP

摘要 多值逻辑是计算机科学中 一个重要的学科分支。其研究主要 包括理论、电路与系统、应用三方面的内容。(自从 1920 年现代多 值逻辑思想提出以来，多值逻辑的研究己取得了不少的成果。而 多值逻辑函数的完备性理论是多值逻辑理论研究中一个重要的研 究课题，国内外不少的学者在这方面做了不少的工作。文 J/ 本文在第一章中，较全面系统地分析了国内外tE多值逻辑函 数完备性理论方面所取得的成果。详细讨论了完全多值逻辑函数、 部分多值逻辑函数和一元多值逻辑函数的完备性理论，以及带常 量完备性， Sheffer 函数p 对称函数， α完备性， G 完备性。最后介 绍了国际上多值逻辑与计算机科学技术密切相关的一些新的研究 动向。 本文在第二章中，研究了部分多值逻辑函数的结构理论，取 得了如下成果: 1.对部分多值逻辑函数准完备类中的一元半群进行了研究， 定出了一些极大半群: 2. 对部分多值逻辑函数准完备类中的一元部分半群进行了研 究，定出了一些极大部分半群: 3. 对部分多值逻辑中的基本群、基本半群和基本部分半群进 行了研究，定出了 一些基本半群和基本部分半群。 :-J L1 ， ....t -.. - .. t.. _\o.1\.../ 一 关键词z 多值逻辑，准完备类，一兀半群，一兀部分半群 i 基本 〉 群 Abstract Multi-valued logic is an important branch of computer science. The study of it includes the research on theo叨 circuit system，and applications. Since the in住oduction ofmulti-valued logic in 1920，great achievements have been made in its rese缸ch. The completeness of multi-valued logic fimctions is an important subject of multi-valued logic theo巧r. Scholars from a11over the world have studied it. In chapter 1t the achievements of completeness of K-va1ued Iogic are sununarized. The completeness of toωK-va1ued logic functions， partial K-valued logic functions，田mry K-va1ued logic functions，and completeness with constants，Sheffer functio邸， symmetric functions，α completeness，G completeness are discussed. Last1y 也.e lately researches on multi-va1ued logic which has the close relation with computer science and technology are introduced. In chapter 2，由.e au也.or studies the structure theory of partial K- valued logic 缸lCtiOns，and get some results as fol1ow: 1.咀宜。ugh the study of un町y semigroup of precomplete class of partial K-valued logic functions，some maximal un缸y semigoups are found. 咀町ough the study of un缸y partial semigroup of precomplete class of partial K-valued logic functions，some m但imal un缸y partial semigoups 缸e found. 咀lrough the study of elementary group，element缸y semigoup and elementary p缸tial semigroup of partia1 K-valued Iogic，some elementary semigroups and elementary partial semigr