论文部分内容阅读
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相应的问题。
组合逻辑中的抽象运算Ⅱ
【摘 要】
：
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ζｃ）的角色，再研究相
【机 构】
：
华东理工大学计算机系
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
1994年1期
其他文献
应用ＤＴＡ／Ｔ／ＥＧＤ／ＧＣ在线联用技术，在空气下鉴定了白云石中的微量黄铁矿；在ＣＯ＿２、Ｎ＿２、空气和空气／ＣＯ＿２（１：１）混合气下分别对配合的黄铁矿、菱铁矿、高岭石、白云石、方解石、石英六元混合矿物的热行为进行了考察
谈竹生长快，伐期短，我省各地均有栽培，一般称其为“无竹”，淡竹适应性强，山地竹、丘陵、平原、河滩都能生长，能耐一定的干旱瘠薄和短时水浸，在-18℃左右的低温条件下和轻度的盐碱土
提出以氯离子与金属离子形成络阴离子，然后用强碱性阴离子交换树脂进行流动注射在线富集和分离的方法。实验表明，本法对锌离子有很高的选择性和富集效率，不仅可分离常见干扰离子
将前文导得的均聚硬球链流体的分子热力学模型推广应用到共聚硬球链及其混合流体，用本模型预测的纯共聚硬球链流体和均聚硬球链流体混合物的压缩因子与计算机模拟结果比较，两者
研究了新型Ａｓ２Ｓｅ３－ＧｅＴｅ－ＣｕＩ系统玻璃形成区，制备了一系列不同ＣｕＩ或ＧｅＴｅ含量的玻璃，并测定其转变温度、密度、显微硬度、断裂韧性、膨胀系数、红外透过率和反射率。结果表明：该系统玻璃的形成范围很大，玻
比较了大孔弱酸树脂（Ａ）和强酸７３２树脂（Ｂ）对卡那霉素（Ｃ）绵吸附行为。用正交设计试验法和电子计算机演算，确定了最适工艺条件，并用发酵液做了动态试验。实验表明，Ａ型华化－Ⅲ湿树脂对Ｃ成品溶液的静