排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
沈恩绍 《北京师范大学学报(自然科学版)》1990,(3):9-17
给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。 相似文献
2.
模型论逻辑与理论计算机科学 总被引:2,自引:0,他引:2
近年来,逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用,已愈来愈受重视.作为语义方法的逻辑基础,(一阶)模型论是研究(一阶)逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支;而模型论逻辑(又称广义模型论)则是在抽象逻辑的框架中,用模型论的方法研究各种扩充逻辑系统的异、同及相互关系.本文从抽象逻辑的观点出发.介绍模型论中与计算机科学(CS)密切相关的若干概念及其应用.特别是广义的有限模型论,它在CS的刺激下于80年代形成并急速发展起来,已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用. 相似文献
3.
本文分解Z 自动机成为ω 自动机偶的复合;建立了Z的L(MP)理论,利用Z 自动机的技巧证明了Z的L(MP)理论的可判定性.作为应用,证明了有限状态过程的正确性问题是可判定的. 相似文献
4.
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。 相似文献
5.
给出Monadic分划逻辑初等等介的一个代数刻画,从而把Fraisse定理从一阶的情形推广到了Monadic分划逻辑的情形。 相似文献
6.
可数原子模型与存在式万有模型是可数e。c。结构类中“最小”与“最大”的成员.本文将Morley的能行化的Henkin扩张法与Robinson的模型论力迫法有机地结合起来,分别给出了二者(存在且)可判定的充要条件 相似文献
1