有限值方陣系統的公理化

我們知道,一邏輯系統可由公理法而确定,亦可由方陣法(真值表法)而确定。因此,在討論邏輯系統时,发生了兩大問題: 1.对於一个由公理法所确定的逻辑系統,如何構作它的刻画方陣?(这个方陣所定的邏輯系統,恰和所給的系統相同)——构作刻画方陣問題。2.对於一个由方陣所确定的邏輯系統,如何構作它的公理?——公理化問題。这篇短文想討論后一問題,而且只討論由具有有限个值的方陣所确定的邏輯系統,如何加以公理化的問題。     

邏輯系統的定則問題

关於什麼是邏輯系統(又名演绎系統或形式系統)的問題,目前已經有比較一致的意見。不过还有一些問題尤其是定則(一名推演規則)的問題,仍值得討論。所謂邏輯系統包含有一些对象叫做公式(最簡單而不再分析的特叫做項),以及一些联結詞,它把公式結合而成新公式。然后在所有公式之中特別画出一类叫做形式定理。     

蜜蜂与麻雀:人类使用手机的受害者

德国朗道大学近日公布的一项研究结果揭示,手机发出的电磁波会干扰蜜蜂的导航系统,使其迷途难返,无法归巢.在此之前,德国学者已发出过蜜蜂对电磁波敏感的警告!因为蜜蜂飞到高压线、发射台、电线杆附近时,行为特别容易失常.当今社会中,越来越多的手机、电子产品用户所造成的电磁波辐射比以往任何时候都严重.     

守住底线,谨防"恶魔"

世上有一种人,他们的内心世界没有真正有意义的情感,不具备同理心,不能理解和同情他人的感受,也难以明白爱和关怀的意义.他们没有自控力,习惯用报复行动来表达,情感体验能力处于钝化状态.哪怕是触犯了社会规范与法律,他们也没有丝毫的自责、内疚.精神卫生领域把这种不能做情感互动、缺乏良知的病态称为"反社会型人格障碍".     

撩开气味的神奇面纱

在我们生活的自然界里,不仅是姹紫嫣红,而且是气味万千。据科学家介绍,一般人能区分4000种不同的气味,少数人能分辨出上万种不同的气味。象花草、林木、瓜果、蔬菜、人畜都有自己独特的气味,弥散在空气中。当我们用科学的方法撩开披在气味身上神奇的面纱时,就会惊奇地发现,那些始终伴随在我们身边的、常常不被重视的气味中,也有着许许多多的使人倾倒的奥秘。气味是有特殊标记的     

不是耳朵,胜似耳朵的装置

无论对人还是动物来讲,听觉器官——耳朵的作用都至关重要,因为眼睛不能觉察的声波信息,得由耳朵感知。不过,人耳对自然界中的超声波、次声波、电磁波、引力波等物质也无所反应,没有作为。人们要想从这些物质中获取信息,必须建造胜过耳朵的装置去接收监听这些脉冲。有趣的是大自然中的动物,早给我们做出榜样,不信请看大象脚上的装置。     

非对称满应力拱的优化

文献[1]解决了对称满应力拱在外荷、自重和拱顶复盖层重作用下的优化问题。本文在文献[1]的基础上,继续研究了在外荷与自重作用下非对称满应力拱的优化问题。由于结构的非对称性,此问题的数学表达式变得极为复杂,给求解带来很大困难。本文在公式的推导上作了一些技巧性的安排,方使问题得解。所获得的解答均是闭合分析解,当退化到对称拱时,可回到文献[1]的结果。     

高技术技术打造石蜡

据《梦溪笔谈》记载，很早以前，我们祖先就知道在石油中提取石蜡，用它来制造蜡烛和墨。直到现在，我国仍然是蜡烛制造和出口大国，蜡烛远销欧美许多国家。     

浅议高校本科生参与教师科研过程机制的探索

为适应社会发展对人才素质提出的要求,提高高校大学生的创新精神和研究能力,应加强教学与科研的有机结合,倡导学生,尤其是低年级学生参与教师的科研工作,鼓励把研究性教学贯穿于教学的全过程。     

关于系统与点关系的哲学思考

关于系统与点关系的哲学思考,就是要从哲学的视角联系实际认识两者的关系。并运用于实践。系统和点的关系是客观存在的,并存在着一种默契和内在的联系和统一;对它们关系的认识是一种灰色思维,两者的关系具有相对性、隐蔽性、稳定性、突变性等特点;对系统与点及其关系的哲学思考具有重要意义。