数学与逻辑的关系及其发展过程中的相互作用

关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点,逻辑主义学派认为数学可以化归于逻辑,直觉主义学派认为逻辑可化归于数学。利用现代认识论的思想,论述了数学与逻辑之间的同一性、互补性和差异性,并对它们在发展过程中的相互作用进行了比较全面而深刻的揭示。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式－线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

直觉区间值模糊逻辑算子

首先提出了用直觉区间值去表示命题的真值;然后定义了直觉区间值模糊逻辑上的算子－补,t-范、t－余范和蕴函算子,并讨论了它们与I[0,1]及[0,1]上的相应算子的内在联系,指出它们可用I[0,1]及[０,１]上相应逻辑算子表示。     

令人折服的中国共产党的思想逻辑

中国共产党建党80多年来所走过的历程之所以成就卓著，辉煌灿烂。是因为中国共产党有科学先进的思想理论作指导。中国共产党的思想理论符合逻辑，令人折服。表现在她确立了科学的逻辑起点、形成了科学的逻辑体系、坚持与时俱进的逻辑观，具有与时俱进的理论品质。     

习近平文化思想生成逻辑的三维审视

习近平文化思想是中国共产党人文化思想集大成的体现,也是推动中华民族伟大复兴的精神动力,具有独特的理论逻辑、历史逻辑和实践逻辑。深入探究习近平文化思想从中国特色社会主义文化里赓续和发展而来的历史逻辑、从马克思主义文化理论继承和创新而来的理论逻辑、从推进中华民族伟大复兴的切实需求中生成而来的实践逻辑,对于中国共产党在新的历史起点上实现新的文化使命具有重要意义。     

论现代归纳逻辑的科学认知功能

现代归纳逻辑以帕斯卡概率逻辑、非帕斯卡概率逻辑和因果陈述逻辑为主体,它们的一个共同价值趋向是具有强大的科学认知功能。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

/p∧→p/=0与/p∧→p/=1/2能使我们陷入"两难"吗?

在卢卡西维茨的三值逻辑理论L3中,当/P/=1/2时,/→p/=1/2,所以,p∧→p/=1/2.但是,在人们的"逻辑直觉"中,/p∧→p/=0.本文指出这种"逻辑直觉",其实是以二值逻辑暗中取代了三值逻辑,从而得出/p∧→p/=0这样的结果./p∧→p/=1/2与/p∧→p/=0由于不是以同样的逻辑理论为基础,而是分别以三值逻辑和二值逻辑为基础的结果,因而,它们并不能使人陷入"二难"的境地.     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

A_5的一类12阶子群的构造

由于有限群的Lagrange定理的逆不成立,因此,n较大时要确定n次交代群An的所有子群或对An阶数的每一个正因数,确定是否存在这个阶数的子群是较困难的问题.文章通过对5-循环置换各次方幂的计算及其研究,构造出了A5的5个12阶子集,并证明了每一个子集都是A5的12阶子群,最后对A5的部分阶的子群做了总结.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

圈幂补图的树宽

基于“前沿分支”的观点研究了圈幂补图的树宽，首先确定了它的树宽下界，又给出了达到此下界的标号，从而得到了它的树宽表达式。     

鸡法氏囊病及其防治

报告鸡法氏囊病的流行状况，主要症状，剖检情况及诊断，提出了综合性防治措施。