论文部分内容阅读
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R0-代数[0,1]的各类无限子R0-代数中的广义重言式,证明了在子R0-代数E2中,(* )*中存在着可数多个不同的广义重言式.
R0-代数[0,1]的子代数与广义重言式
【摘 要】
：
本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R0-代数[0,1]的各类无限子R0-代数中的广义重言式,证明了在子R0-代数E2中,(* )*中存在着可数多个不同的广义重言式.
【机 构】
：
陕西师范大学数学研究所,西安,710062
【出 处】
：
数学学报
【发表日期】
：
2004年3期
其他文献
本文研究了带常数利率和盈余相依型loss-carry-forward税收系统的Cramér-Lundberg风险模型.利用无穷小分析方法及该过程具有的的强马氏性,得出了保险公司从开始运营到破产期
地理核心素养对于初中生的地理课程是非常重要的,因此本文对人地协调、综合思维、区域认知和地理实践四大地理核心素养在初中地理教育中的价值体现进行了研究.期待本文的研究
本文研究具有时滞周期捕食系统的持久性和周期解,得到了系统永久持续生存的充要条件.在此条件下系统存在正的ω周期解,改进了一些已知结果.
米斯拉曾说,数学是人类的思考中的最高成就.数学的魅力就在于它来源于生活,却不易找到.作为数学教师,应该把课本知识和实际生活相结合,通过把数学问题生活化,激发学生们的学
本文研究了p-级数域的特征系统的r阶二进求导极大算子的有界性.利用狄利克雷核的重要性质,构造了反例证明此极大算子在d维情况下不是从Hardy空间Hq到Hardy空间Hq有界的,其中0
在没有独立性、平稳性和相依性假设的条件下,利用分析方法讨论了整值随机变量序列取某个数值的次数与随机变量序列取该数值的条件概率和的等价性问题,建立并证明了若干强极限