(～P(x),(∪.),(∩.),-)逻辑的语义问题

本文得出了在(～P(x),(∪.),(∩.),-)逻辑的语义问题中,标准命题演算系统的每条公理在(～P(x),(∪.),(∩.),-)逻辑中都是模糊恒真的,但标准命题演算系统的定理,在(～P(x),(∪.),(∩.),-)逻辑中却不都是模糊恒真的.     

模型C中的选择公理

在文献[1]中,Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质。然而在ZFC中,并不能证明C满足选择公理(AC)。本文将发展一公理系统ZFC~*,在ZFC~*工作中,我们能够证明C满足选择公理。     

2-氨基咪唑啉酮衍生物的平行合成

研究了2—氨基咪唑啉酮衍生物4a～4f的平行合成法，该方法应用烯基膦亚胺l与对氯苯基异氰酸酯的氮杂Wittig反应，得到的碳二亚胺2再与仲胺平行反应，一次性合成了6种未见文献报道的咪唑啉酮衍生物4a～4f。所得产物4a～4f的结构由^1HNMR，MS，IR所确证。     

多维平行轴测投影投射方向的研究

如何由多维平行轴测图本身，求得相应的多维投射方向，这是画、识图中的基本问题．对于ｎ维的一般情形，至今未见文献研究（ｎ＞３）．本文给出了＿ｊ（轴向变形系数），α＿ｉ（轴间角）与Ｌ（ｎ－２维投射方向）之间关系的解析式，使其得以彻底解决．     

轮系计算的教学新思路

为了让学生快捷准确地掌握轮系计算，在教学中应突出概念、公式应用、分析技巧的一体化。     

罗氏平面上三角形“五心”的探讨

探讨了罗氏平面上三角形的“五心”问题，并给出了相应的证明。     

分光仪在实验教学中的应用

本文对物理光学实验所用分光仪的调整、步骤作了简单介绍，并对分光仪的误差产生原因及校正作了概括性介绍。     

一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。