共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义. 相似文献
5.
6.
N-半单代数与蕴涵代数 总被引:8,自引:4,他引:4
研究了有限结合代数与各种蕴涵代数的联系,得到了一些有趣的结果:N-半单代数的中心幂等元集G(R)按照“→”或者“*”等运算分别构成与蕴涵代数(F I代数、BCK代-数、BC I代-数、BCC代-数、W a jsberg代数等)等价的代数系统。 相似文献
7.
8.
计算机代数系统应用研究 总被引:1,自引:0,他引:1
殷志云 《数学的实践与认识》2006,36(9):259-264
计算机代数是近三十年发展起来的关于数学、计算机及人工智能方面的交叉学科,是数学发展的前沿学科,应用广泛.应用计算机代数系统的强大的符合运算功能以及该系统提供的控制语句,对一类弱非线性系统的有效渐近展开式解进行了研究,不但能使其自动求解,而且自动实现在平衡点附近降低微分方程阶数和实行中心流形方法,并试图解决了G r bner基在图论中关于连通图的最短路径问题. 相似文献
9.
研究了与H(a)jek的模糊命题演算系统BL相对应的BL代数,提出了仅涉及运算*和→的NBL代数概念并探讨了其有关性质,证明了BL代数与N-BL代数是等价的,进而得到了BL代数更多的性质. 相似文献
10.
对于常系数非齐线性微分方程组(dX)/(dt)=AX F(t),当强迫项F(t)=eαt∑mk=0Bktk时(这里Bk=(b1k,b2k,...,bnk)T∈Rn),给出了微分方程组(dX)/(dt)=AX F(t)特解(t)的结构定理和计算方法,使求特解(t)的积分运算转化为简单的代数运算.解决了计算机特解(t)的计算问题. 相似文献
11.
对于常系数非齐线性微分方程组(dX)/(dt)=AX+F(t),当强迫项F(t)=e~(at) sum from k=0 to m(B_kt~k)(这里Bk=(b1k,b2k,…,bnk)T∈Rn),给出了微分方程组(dt)/(dX)=AX+F(t)特解(t)的结构定理和计算方法,使求特解-X(t)的积分运算转化为简单的代数运算.解决了计算机特解(t)的计算问题. 相似文献
12.
研究一类双重Ockham代数 $(L;∧,V, f, k), 即赋予一对可交换一元运算f和k的有界分配格, 其中f和k是偶格同态. 刻画了其次直不可约代数, 并研究当(L,f)和(L;k)都是de Morgan代数的特殊情形. 利用Priestley对偶理论, 证明这类代数中 仅有9个非同构的次直不可约代数, 而且这些次直不可约代数都是单纯的. 相似文献
13.
14.
解析几何的本质就是在采用坐标法的同时,运用代数方法研究几何对象.代数的基本功是运算,几何的基本功是推理.现代数学认为运算是以运算规律为依据的推理,这使代数和几何融为一体.解析几何一方面实现了几何图形的数字化,是数字化时代的先声,代数运算成为其主旋律;另一方面也给抽象的代数运算注入了直观的解释,丰富了代数运算内涵,为简化运算提供了必要的铺垫.如何较全面理解解析几何中的运算呢?笔者以为它有三重境界,即既设又求、设而不求、不设不求. 相似文献
15.
16.
<正> 对幂级数进行代数运算后所得到的仍然是幂级数,这些运算在幂级数的研究及应用中经常碰到。而每给出一个幂级数都应同时指出它的收敛域,因此,正确地确定经代数运算后 相似文献
17.
18.
《数学的实践与认识》2020,(10)
基于常规Ⅳ模糊包含序■,研究格蕴涵代数的(∈,∈∨q)-Ⅳ模糊LI理想全体之集IFI(L)的格结构性质.证明了(IFI(L),■)构成一个完备分配格并给出了其上并运算∨的表示定理.推广了IFI(L)上格结构研究的已有结果,为利用(∈,∈∨q)-Ⅳ模糊LI理想揭示格蕴涵代数的特征性质奠定了基础. 相似文献
19.
研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。 相似文献
20.
高级中学代数课本第一册的无理数的变形部分引进了算术根,可是在事先是没有加以定义的。数学通报1955年9月份上发表了黄人达同志的“根式算术根的运算和根式图象”一文(以下简称原文),其中关于算术根的定义,特别是“在什么数集合上来定义算术根”这一问题,我和原文有不同的意见。原文关于“什么是算术根?”一开始叙述为: “根式a~(1/n)所代表的值(假定n是正整数)是多值的,利用代数的或非代数的运算(例如三角运算,便是非代数运算),可以求得n个不同的值,它的n次冪均等于a。我们加以限制,祇取一个主值,这个主值,叫做算术根。例如4的平方根的算术根是2”。 相似文献