首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 103 毫秒
1.
针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。  相似文献   

2.
该文提出和区分了对偶算子(也即非号)的第一移位律和第二移位律.第一移位律实际上指对偶原理,它是一个普遍的逻辑规律;第二移位律是适用于仅包含同或和异或两种运算的布尔代数表达式,这种表达式称为同或异或表达式.文中还讨论了布尔代数的运算规律和运算次序.布尔代数的运算次序应是:括号、非、同或/异或、与、或.简单列举法是证明布尔代数恒等式的简便方法.  相似文献   

3.
利用布尔代数关于确界的概念,进而给出布尔代数完备性定义,最终解决完备布尔代数的保序性和无穷分配性。  相似文献   

4.
证明了布尔代数等价于一个只有二元部分运算的代数系统。  相似文献   

5.
本文运用逻辑代数的基本理论及"图式结合"的逻辑思想方法,研究并解决了逻辑代数中三个主要问题.  相似文献   

6.
本文运用逻辑代数的基本理论及“图式结合”的逻辑思想方法,研究并解决了逻辑代数中三个主要问题。  相似文献   

7.
本文在文[1]、[2]的基础上,进一步提示了帛《易》(上体、下体)八卦与 布尔代数之间的密切联系.  相似文献   

8.
利用偏序集的有关概念给出了与传统的布尔代数的定义相等价的偏序式的布尔代数.  相似文献   

9.
命题研究是高考改革的重点,范式是研究命题的根本问题。自新中国成立以来,高考命题先后出现了三次命题范式和两次范式转换。首先是政治立意范式向知识立意范式的转换,随后是知识立意向能力立意范式的转换。能力立意范式已经成为高考命题的主流范式,它为高考命题工作带来了革命性的变化,对高考改革具有重要意义。在新的改革时期,命题范式正在发生变化,素质立意范式已经建立。  相似文献   

10.
一定时期的文学研究术语中总会出现若干高频词,高频词能体现某一时期文学研究的症候。近年来,"范式"被广泛使用并成为文学研究中的重要理论话语,使得文学研究呈现出表述的"范式转向":都用"范式"言说自己的理论创见。"范式"话语的广泛使用,除了与"范式"自身所具有的"革新"内涵、知识资源更新中"语词的迁移"现象相关之外,还与"范式"话语所形成的语境压力有关。由"范式"话语所形成的表述范式,不过是诸多关于文学解释中的一种,因而与传统的文学研究模式并未形成根本的断裂。学者们对范式理论的重视不仅反映了其重建文学"本质论"的企图,还表明了在价值失范的情形下重建价值体系的努力。  相似文献   

11.
本文讨论了二进数所成的布尔代数以及它与X幂集P(X)所成的布尔代数之间的同构关系,利用其解决关于子集的交集、并集的计数问题,关于交错k-子集的计数问题和关于交错R-子集的计数定理。  相似文献   

12.
讨论文〔1〕中引入的亚BCI—代数与BCI—代数的关系,研究亚BCI—代数成为BCI—代数的条件,特别是亚BCI—代数成为P—半单BCI—代数的条件.  相似文献   

13.
在三值逻辑电路设计中,逻辑函数经常采用POS形式,为此,利用三值K图法最小化规则或者表格法最小化规则,先获得所求三值格代数逻辑函数最小化POS形式的反函数,再利用香农定律,最终可方便地获得该三值逻辑函数最小化POS形式。  相似文献   

14.
提出布尔滤子的概念,研究它的一些基本性质,得到由布尔滤子所诱导的商代数是布尔代数的结论,同时给出了判定布尔滤子的等价条件,得到格蕴涵代数中布尔滤子与关联滤子一致的结论。  相似文献   

15.
对形容词重叠式的研究.学界主要从其类别、语法功能、语法意义(语义功能)等方面展开。其中.对于形容词重叠式的界定问题,存在着较大的差异。本文首先对一些有代表性的研究成果作了简单的归纳,并提出确定形容词重叠式的原则和方法,继而对各家之说作尝试性的评析。  相似文献   

16.
文章在分析高师代数教育现状的前提下,确定数学史教育的必要性,讨论代数发展史在高师代数课程教学中的渗入。  相似文献   

17.
波利亚学与教原则在高等代数教学中的渗透   总被引:1,自引:0,他引:1  
波利亚的学习三原则和教学三原则为数学教学研究提供了有指导意义的线索,而高等代数又以其内容的高度抽象化与逻辑推理的深刻化成为教学的难点,在高等代数的教学中注重对三原则的贯彻为具体的讲授效果提供了科学标准。  相似文献   

18.
造型艺术设计最终是需要通过具体的形态表达意念并实现其功能的.作为传递信息的第一要素——形态,探讨其自身的内涵,与其它形态、空间的关系成为当代艺术设计工作者面临的重要课题.  相似文献   

19.
(p,q)型Minkowski空间Rp,q的Clifford代数Clp-q是一类2p+q维的实结合代数,当p+q〉1时是非交换代数.文中讨论了Clp-q的中心Cen(Clp,q)的相关性质,利用基元的Clifford积导出由p,q确定Clp,q中心的公式.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号