论文部分内容阅读
本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想，应用和谐性质方法，建立了无穷逻辑中的二阶语言Ｌ_（ω１ω）（Ｑ）公理系统及模型论，对Ｌ_（ω１ω）（Ｑ）中的同构定理及Ｃｒａｉｇ插值定理给予了证明．
Lω1ω（Q）中的Scott同构定理及Craig插值定理
【摘 要】
：
本文结合二阶逻辑公理系统和无穷逻辑公理系统两种思想，应用和谐性质方法，建立了无穷逻辑中的二阶语言Ｌ_（ω１ω）（Ｑ）公理系统及模型论，对Ｌ_（ω１ω）（Ｑ）中的同构定理及Ｃｒａｉｇ插值定理给予了证明．
【机 构】
：
北京科技大学数学力学系
【出 处】
：
北京科技大学学报
【发表日期】
：
1994年4期
其他文献
在实验室模拟生产现场工况条件，通过浸泡实验和电化学方法等，研究了铜和３０４不锈钢的腐蚀行为；分析了介质条件（温度、Ｆｅ＾３＋及Ｃｌ＾－浓度）的影响；特别考虑了间断性的阴极状态对材料腐蚀的作用。提出
本文介绍了系统分析在软件开发上的重要性和在武钢金山店铁矿的实施过程，着重阐明了系统分析的工具：系统流程图、数据流程图、ＩＰＯ图和数据字典在实施应用过程中的作用、区别与联系，并根据实施的经验，提出了可行的系统分析步骤和方法，相应得到系统分析报告和用户需求说明２个系统分析阶段的重要文件。
本文介绍了用ＴＵＲＢＯＰＲＯＬＯＧ语言将人工智能技术用于吊架ＣＡＤ系统，其中关于知识库的设计和知识库的搜索等问题，还用源程序作了详细说明。
采用拉普拉斯－傅利叶变换和施密特方法，研究了复合材料因热流在裂纹周围引起的热应力，并对用环氧树脂粘结的陶瓷－钢板进行了数值计算。
采用一种新的铬酸盐纯化处理方法，可进一步提高含镍量为１２％－１３％的锌镍合金镀层的化学稳定性，其耐蚀比未钝化的高５倍。研究了铬酸盐溶液成分及操作条件对钝化膜形成机理的影响，并对膜的耐
结合某煤炭企业生产计划管理信息系统的研究经验,重点就煤炭企业地下采煤生产计划管理决策支持系统的必要性,结构及开发策略进行一些初步探讨。
采用Ｓｌｉｍｅ方法提取和分离了钢中的大型夹杂物，并进行了淘洗分离的试验参数的模拟测定以及夹杂物总量和粒度分布的测定。
分析了高炉直吹管条件下粉煤粒子在热解之前的传热状态;建立了粉煤粒子的传热模型,并进行了计算机求解。结果表明:(1)粉煤粒子在热解前的传热情况对粉煤的快速热解非常重要;(
系统地了镁对GH169合金的综合性能，特别是在高温接近使用条件下力学行为的影响，从而提出在GH169合金中应控制含宜含镁量的新要求，成为生产和发展具有我国特色的优质GH169合金的
研究了镀液成分和各工艺参数对镀层Ｎｉ含量，外观的影响，并对添加剂进行了筛选和分析，获得了耐蚀性为同等厚度锌镀层６倍以上的光亮Ｚｎ－Ｎｉ（１３％）合金电镀的配方和工艺条件，并对镀液和镀层性能进行了