论文部分内容阅读
<正> 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。在我们所讨论的多值谓词演算中,真假值的集合是一个具有运算
一些多值狭义谓词演算中的标准形
【摘 要】
：
<正> 本文讨论一些多值的狭义谓词演算中良构式(即合式的公式)的前束标准形和Skolem标准形。讨论的目的是为考虑判定问题和多值模型论作准备。但它们显然也是自身有意义的。
【机 构】
：
北京师范大学数学系,上海宝山钢铁总厂
【出 处】
：
北京师范大学学报：自然科学版
【发表日期】
：
1980年2期
其他文献
<正> 将前报导氯仿-甲醇(85:15,V/V)在硅胶干柱上展开的第一部分,再用二氯甲烷-乙酸乙酯-甲醇(23:2.5:1,V/V)同法展开,得鸦胆子酚Ⅰ.第二部分对小鼠 Lewis 肺癌有效(4 mg/kg
本院在全国范围内较早开办成人中药学专业专科,开办十几年来,为社会输送了大批毕业生,已成为中药学各企事业单位的骨干.其课程设置经专家论证并经过多年教学实践,符合21世纪9
<正> 前言固定化酶的制备,近年来已有许多进展.固定化技术之一的凝胶格子包埋法,尤其受到重视,因为它与其它方法不同,酶分子本身在固定化过程中几乎完全不发生结合或偶联反应
<正> 1944年,Snyder 等和 Albertson 等分别由3-二甲氨基吲哚的季铵盐与丙二酸酯衍生物进行烷基化反应合成色氨酸,产率分别为45%和35%.1945年,Snyder 与 Shekleton等由乙酰氨
<正> 许多空间拥挤构象的有机分子具有一定稳定性的事实,愈来愈引起理论化学家的关注.近年来,有人利用从头算方法(ab initio)和微扰分子轨道法(PMO),对它进行了理论研究.Wang
<正> 序言本文利用[1]的方法与[4]的结果,给出相空间为Y_u(S是可数集,Y_u是有限集,u∈S)的广义自旋变相过程的一个存在定理,即定理1.1,利用定理1.1证明了[1]中出现的自旋变相
<正> 用99mTc标记的心肌显像剂愈来愈为人们所重视。在99mTc标记的心肌显像剂中,以99mTc-DMPE[DMPE,双（1,2-二甲基膦基）乙烷]最引人注目。在水溶液中,它以络离子99mTc（dmpe）2Cl2+
中医诊断学是中医学专业的基础课,也是主干课程,更是基础理论与临床各科之间的桥梁课程,同时也是中医执业医师资格考试科目,对学生临床各科的学习,以至于今后的临床动手能力
训练的最终效益,系于训练措施与专项需求的整体平衡。这就必须审视“训练措施整体环节”与“运动能力整体设置”之间的平衡关系。在短跑、长跑、投掷、球类等各项训练中,都需要从“整体设置”着眼,以求克服导致成绩停滞的一些隐性问题。进军国际体坛,更需要整体性思维。