π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统，并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成，其断言采用条件等式的形式，直接刻画了进程项之间的符号互模拟关系。     

基于证明分析的机器发现系统的实现与应用

为了实现基于文献（１）的机器发现系统，本文介绍了基于证明分析的机器发现系统的实现技术，并且给出了该系统做出的一些数学再发现例子，从而得一实用的机器发现系统。     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

科研的有力工具——Mathematica

介绍了Mathematica的特点、功能和使用方法.     

浅析离散数学在计算机科学中的应用

离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,基本思想,基本方法,使得计算机科学越趋完善与成熟.简单介绍了离散数学在计算机科学的几个不同领域中的应用,指出了离散数学在从事计算机及相关科学工作中的重要性.     

节流流量计用于气体计量浅析

本文简述了节流流量计的测量原理，用于气体计量时出现的误差，消除这些误差所采取的方法。通过实例介绍了选择温度、压力自动补偿这一有效方法后的结果。     

航用天体高度方位表

Ⅰ.引言远程航行测定位置的测天定位方法,牵涉到解天文三角形问题。但演算冗繁,常使演算结果,失去时效,尤其在航速不断提高的情况下,要求简化演算,迅速得出精确的结果,就更感到迫切需要了。作者采用纳比尔氏解球面直角三角形法则,求出解天文三     

一类无界算子的谱映射定理

本文给出了一类分布群所导出的算子演算的谱映射定理。     

中介逻辑的谓词演算系统(Ⅰ)

本文在中介原则的观点下构造中介逻辑的谓词演算系统MF,我们首先给出它的符号系统、形成规则和推理规则,又作为MF的初步展开而给出它的若干个形式推理关系,其中包括的一个重要定理,那就是MF中的替换定理。M F 形式符号:(一)逻样词s(二)个体词,a,b,c ,a; ,b;,c;< z = 1。2,…;(三)谓词F,G,rH,(i二1,2…),(四)约束变元X,L,Xr,Zt Yf, 了五)技术符MF的形成规贝.:(i) F'(a,...a})是合式公式;(ii)如果J是合式公式,则一工和X是合式公式,(iii)如果X和Y是合式公式,则〔X-> Y〕是合式公式;(iv)如果X(a>是合式公式。在其中出现,X不在其中出现,则和ExX }x}是合式公式。至于FM的形式推理规则,乃在接受M的全部推理规之外,另加如下六条(a).其中a不在r中出现,则r卜}TxA }x} ; ( 3 _)若A(a) - B,其中。不在B中出现,则3 xAB; ( 3 +)A(a) }-其中A }x}是由A(a)把其中a的某些出现替换为x而得; 定理4(替换定理)如果AI-I B,而f(P)为MF中之任一今式公式,则有fcA>I=If(B)>o