一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

一锅法合成手性双取代不对称脲

牟其明1,薛翠花1,向明礼2,孙　靖1,陈淑华1, (1.四川大学化学学院,成都610064;2.四川大学化工学院,成都610065)1　引言非对称取代脲是一类极为有用的重要精细化学品和化工原料,可广泛用作农业上的除草剂、杀虫剂、植物生长调节剂和医药领域中的重要中间体[1].在非对称取代脲的结构单元中含有不同取代具有生物活性的肽键,故非对称脲单元是许多生物模拟肽的常见结构特征[2].因此,非对称取代脲具有广泛的应用前景.近年来,取代脲在分子识别、自组装等超分子化学领域显示良好的应用前景,因而设计合成包含脲基的人工受体引起超分子化学家的广泛关…     

从一题多变谈学生能力的培养

由三道例题的多种变换，使学生的理解能力、椎理能力、横向思维能力得以提高。     

立井强化冻结施工理论分析

本文以谢桥主井为例,从冻结壁强度、变形、工作面底鼓和超前位移及冻胀压力等几方面.分析了深厚表土立井强化冻结施工对防止冻结管断裂和外层井壁破坏的机理.给出了强化冻结施工适用条件.并提出了按井帮温度进行强化冻结设计的方法.     

现象的本质的矛盾及矛盾层次说——兼评“一分为三”

本文论证了本质的矛盾是一分为二的,现象的矛盾是“一分为多”的,一切矛盾都具有层次结构。     

强S一闭空间

本文从强半开集出发，定义了强Ｓ一闭空间，讨论了强Ｓ一闭空间的特征，它的半正则化及强Ｓ一闭空间的强半连续象。     

对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

辞章章法“多、二、一（0）”的核心结构

章法与章法结构，是完全建立在“二元对待”的基础之上的。而“二元对待”又是宇宙创生、含容万物的根本规律。以这种规律来观察宇宙创生、含容万物的历程，可以用“多”、“二”、“一(0)”的螺旋结构加以概括。因此章法也对应于此，形成这种结构：若从创作面看，形成的是“一(0)、二、多”的顺向结构；若就鉴赏面看，形成的是“多、二、一(0)”逆向结构。其中的“多”主要是指各个辅助结构；“二”主要是指核心结构；“一(0)”是指一篇辞章之主旨与所形成之风格、韵律、气象、境界等。其中核心结构“二”，既可彻上归于“一(0)”，又可彻下统合“多”(辅助结构)，地位十分重要。本文即着眼于此，举例探讨，以见章法之核心结构在一篇辞章中的重要功能。     

PB在企业管理系统中与多种数据库的连接

分析了使用面向对象数据库软件Power Builder开发煤气公司一表一卡管理系统过程中，对SQL Server和Visual Foxpro两种不同数据库的连接，提出了解决新系统与旧系统的数据兼容问题。