现代逻辑的一个规范化理论——一阶时态逻辑

一阶时态逻辑与程序语言理论中另外两门非常有用的逻辑——动态逻辑和Hoare逻辑它们之间到底有什么关系呢?本文的目的就是要解决这个问题.为此,我们首先拓广了时态算子的概念.与此同时,我们又提出了一种关于约束变元组的定义.这种关于约束变元的新的定义,使得某些现代逻辑学家心中的,关于变元组受约束的非形式化的约定,能够形式化地表达出来.随后,我们证实了:一阶时态逻辑具有一阶动态逻辑和Hoare逻辑的演算功能.再结合已知的事实:一阶时态逻辑具有一阶谓词逻辑、模态逻辑和(通常的)时态逻辑的演算功能.我们可以认为:一阶时态逻辑是这些现代逻辑的一个统一理论.由于我们能在一阶时态逻辑的一个形式系统里,同时进行上述的各种逻辑演算,因而一阶时态逻辑能成为一门很有前途的公理语义学.     

离子交换过程的基础研究(Ⅰ)—M~(Z+)—■—H~+及M~(Z+)—■离子交换

本文用大孔磺酸树脂SA—209(×8)研究了Li~+、Ca~(2+)、Co~(2+)、Tm~(3+)对H~+正、逆离子交换过程以及~(59)Co~(2+)—、~(169)Tm~(3+)—~(170)Tm~(3+)同位素交抉过程。用前报中提出的界面吸附双电层模型及解离机制满意地解释了实验事实。     

一类三角形存在性的进一步结论

特别约定：满足1/a^2＋1/b^2=1的椭圆x^2/a^2＋y^2/b^2=1称为标准椭圆．以标准椭圆的中心为圆心的圆x^2＋y^2=r^2称为标准椭圆的同心圆．     

对问题1627的质疑

1.对于问题1626的繁琐解答,我们陆续收到了很多读者的来信,对其予以改进.由于来函较多,而此问题的改进解法确又非常简单(通过连线,利用勾股定理或余弦定理即可解出.当然还有其它简单解法),在此我们就不再选用新的解法刊出了.另外,北京的贺信淳老师对我们所选题目也进行了批评,我们诚恳地表示接受并对贺老师及所有给我们来信的老师表示衷心的感谢.今后,我们会继续努力,加强自身建设,争取和作者们一道把问题栏越办越好.真诚地欢迎关心爱护我们的读、作者随时给我们提出宝贵的意见及建议.感谢大家对问题栏的支持.2.对于问题1627解答的错误,读者们给出了很多不同的正确解答.根据来稿时间及解答方法,我们选用了湖南师大梁红梅等三位老师合写的文章,对原解答予以纠正.对其它提供正确解答的老师,我们在此一并表示感谢.     

O′-β′复相Sialon陶瓷中相组成的控制

用Si₃N₄,SiO₂和Al₂O_?作原料,以Y₂O_?为添加剂,研究了O’-β’所在的四个相容性区中组成,于1400—1800℃之间,O’和β’的形成动力学。O’于1400℃开始生成,1600℃达到最大形成量。高于1600℃,O’减少乃至消失。研究发现,O’的这种不稳定性,并非自身热分解的结果。Al含量的增加,液相出现和β’的形成,才是导致O’-Sialon溶解而消失的原因。 此外,认为Si₃N₄-O’(x=0.3)-Y₂Si₂O₇-YAG相容性区,是在制备具有合理的O’-β’平衡相组成的复相陶瓷时,可供实际选用的组成区。     

高斯—约当约简法:简史

A.W.塔克[28]已经捕出:是测量学家W.约当(1842—1899)而不是数学家C.约当(1838—1922)介绍了线性方程的解系的高斯—约当法。有一种自然倾向认为此种方法是C.约当创造的,他是由于别的线性代数学的论题,约当标准型而被公认的。回忆在高斯的消除法里,用行运算使系数矩变成一个较高的三角形矩阵。于是在简化系统中,从最后方程式开始求解,经过回代就可得出结果。在高斯一约当约简中,一连串运算是用来使系数矩阵变成三角形矩阵,这样答案就可以直接读出来。这篇文章是有关W.约当和他的方法的介绍。     

无界域上临界增长拟线性椭圆型方程的正确存在性

本文给出 R~N 上拟线性临界增长椭圆型方程的正确的存在性结界。其中 N>P≥2,P~*=(NP)/(N-P).     

激光等离子体2660紫外探针及干涉系统

成功地在六路高功率Nd玻璃激光装置上建立了2660紫外激光探针和适合紫外波段的Normaski干涉仪,首次将可见波长的连续激光应用于紫外干涉仪中靶成像调整和光路准直。利用该紫外光干涉仪,在铜柱状靶(φ500μm)上测量了厚等离子体中高达0.6n。的电子密度。     

关于数学学习方式的思考

素质教育的重点是培养学生的创新精神和实践能力 ,主渠道是课堂教学 .课堂教学改革的出发点和归宿是教会学生掌握科学的学习方式 ,学会学习 ,学会创造 ,和谐发展 ,致力提高教育教学质量 .对数学课堂教学而言 ,数学学习方式的现状与特点是什么 ?课堂教学模式与数学学习方式的关系如何 ?如何构建科学的数学学习方式和与之配套的课堂教学模式 ?本文试从以下几方面提出肤浅的认识 :1　目前数学学习方式的现状分析学习方式是指获得、理解或通过切身体验或研究而掌握和创造知识的方法和形式 .学习方式既有许多共同的规律和共性 ,又因人而异 ,多种…