论文部分内容阅读
利用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
论文选取3C120天体在射电波段的30多年的观测数据作为样本，分别作出了4．8GHz，8.0GHz和14．5GHz三个射电波段的光变曲线，用结构函数对其进行分析，计算峰值流量、闪烁持续时间和变化指
利用整的自仿射瓦集与自仿射测度的知识，通过把自仿射瓦集的覆盖转化为一个马氏过程，然后利用马氏链的有关知识，构造某种算法寻找自仿射瓦集的覆盖．
在宁夏内陆开放型经济模式下,地方高校转型与区域经济转型升级之间互为依托,相互交融。本文首先对宁夏内陆开放性经济发展现状进行分析,随后对地方高校转型与区域经济融合发