论文部分内容阅读
利用F（S）中 运算的定义给出了F（S）关于逻辑等价（可证等价）一所得的商代数F（S）／～中的 运算，在F（S）／～中定义了 商理想，讨论了 商理想的性质，得到了F（S）／-中的 商理想都有形如〈-D（Г）〉的形式．
￡~*-Lindenbaum代数中的商理想
【摘 要】
：
利用F（S）中 运算的定义给出了F（S）关于逻辑等价（可证等价）一所得的商代数F（S）／～中的 运算，在F（S）／～中定义了 商理想，讨论了 商理想的性质，得到了F（S）／-中的 商理想都有形如〈-D（Г）〉的形式．
【机 构】
：
西安文理学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2010年2期
【基金项目】
：
国家自然科学基金资助项目（10871121）,西安文理学院2008年中青年专业技术人员科研资助项目（kyc200819）.
其他文献
提出了一种解约束非线性规划问题的算法,这种算法主要基于信赖域SQP方法,不需要使用罚函数作为价值函数,而是使用滤子去判断迭代点是否有效,从而解决了罚参数难选择的问题。
为提高热电制冷口杯的加热与制冷效率，分析了热电制冷片三种布局下的传热效果，然后对口杯底部传热进行了设计。采用该设计将有利于在口杯上实现加热与制冷的双重功能。
设a，b是互素的正整数，c∈{±1，±2，±4}．简要介绍了二元四次Diophantine方程ax4-by2=c的重要结果，并对有关该方程的某些尚未解决的问题进行分析。
对最近利用椭圆曲线上的双线性对提出的一种基于身份的部分盲签名方案进行了密码学分析，指出该方案无法满足盲性，盲签名人可以将自己在签名协议中的签名和签名的消息联系起来从
从相关文献中我们收集了141个具有核光度和扩展光度的射电噪类星体,并研究了核主导参数R与核光度LC、扩展光度LE以及红衣z之间的关系。结果表明R与LC之间存在强的正相关,R与L
主要研究方向云南师范大学太阳能研究所是我国最早从事太阳能利用研究的专业性研究机构。从上世纪70年代开始太阳能利用的研究开发，长期持续不断的研究工作，培养和造就了一批具
论文选取3C120天体在射电波段的30多年的观测数据作为样本，分别作出了4．8GHz，8.0GHz和14．5GHz三个射电波段的光变曲线，用结构函数对其进行分析，计算峰值流量、闪烁持续时间和变化指
利用整的自仿射瓦集与自仿射测度的知识，通过把自仿射瓦集的覆盖转化为一个马氏过程，然后利用马氏链的有关知识，构造某种算法寻找自仿射瓦集的覆盖．
在宁夏内陆开放型经济模式下,地方高校转型与区域经济转型升级之间互为依托,相互交融。本文首先对宁夏内陆开放性经济发展现状进行分析,随后对地方高校转型与区域经济融合发