论文部分内容阅读
Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。
和谐性质及其应用工
【摘 要】
：
Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1
【机 构】
：
北京科技大学数学力学系
【出 处】
：
北京科技大学学报
【发表日期】
：
1989年4期
其他文献
本文提出了寻4求整体最优解的一种新算法。这个算法对一类范围甚广的工程优化问题(维数≤5～6)较为有效。文中给出了算法及收敛性、最优性条件、计算实施的若干建议,以及计算实
使用Bordoni型的仪器在声频范围内研究了铁镍基金属玻璃的低温含氢内耗,并研究了退火处理对内耗的影响。结果表明低温含氢内耗是Snoek 型弛豫,并观察到了反常模量亏损和反常
本文报导了HTTA和N_(7402)混合萃取剂萃取铕(Ⅲ)和钆(Ⅲ)的协同效应。分别测定了HTTA与N_(7402)单独萃取,以及HTTA和N_(7402)混合萃取剂协同萃取的最佳条件以及铕(Ⅲ)与钆(Ⅲ
出现分层曲线的二元相图,可以按临界点将曲线分为两部分,l_α和l_β;对应分层的两溶液相α,β的热力学性质有4个:II~E(α),S~E(α),II~E(β),S~E(β)。加上相图中两温度—组
本文通过试验得出了奥氏体不锈钢化学着色的工艺条件,找出了着色过程中成份和pH的变化规律。自选添加剂的加入改善了着色膜的质量和工艺条件。初步判明不锈钢着色膜系半导体
集束微电极系统用于腐蚀电化学系统测量是一种新的方案。它能在极短的时间内采集到大量的腐蚀体系的电化学数据,从而可以分析腐蚀体系的暂态电化学行为。由于数据量大,采集的
张远达在其著名著作《有限群构造》中证明了定理4(见引言),并明确指出条件[G:N_G(H)]为有限数是关键。本文证明了这个条件可以去掉,并得到更一般的定理。
本文对微合金化中碳L45钢进行了控制轧制和控制冷却试验;测定了各项力学性能及先共析铁素体量f_aa、铁素体尺寸d_a、铁素体自由程λ_a和珠光体片层间距S_o;采用对大量实验数