部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

关于部分K值逻辑Sheffer函数（IV）

根据部分多值逻辑的完备性理论[罗铸楷等]，证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现．     

人工智能时代会计电算化发展存在的问题及对策

为了更好地促进人工智能技术在会计电算化中的应用,针对目前存在的传统会计电算化软件不能满足企业需求、会计信息的安全性降低、大量会计人员面临失业风险等问题,提出开发和应用人工智能财务软件、建立信息安全保障措施、提升会计人员综合素质和职业能力等对策.这些策略的实施,可进一步推动人工智能时代会计电算化的发展.     

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

根据部分多值逻辑的完备性理论,证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．     

关于部分K值逻辑中Sheffer函数判定的一些结果（I）

根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现．     

关于部分K值逻辑Sheffer函数(Ⅳ)

根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现.     

P*4中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。     

部分K值逻辑中单纯可离函数集结构研究

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。     

建筑工程质量存在问题及对策

加强建筑工程质量管理，提高建筑工程质量已经成为目前建筑届关注的热点问题。在本文笔者结合了多年的工作经验，对建筑工程质量的相关问题进行了探讨。主要分析了工程质量问题、影响因素及解决措施。