必须坚持以马列主义作为科学的指导思想——在中国科学院北京地区青年大会上批判右派分子徐芻的发言

右派分子徐芻认为马列主义不能作为科学的指导思想。他攻击马列主义的办法是首先污蔑苏联的科学成就,然后说苏联科学是由于马列主义思想指导坏了。他对他的学生说:“你们无知,教材都是苏联的,以为苏联了不起;我看的书多了,以英文为主,眼界深了,深知英美之厉害,不单水平高,而且发展也快”。他说:“美国科学在总的方面大大超过苏联,无论在人员配备、设备和门类方面”。他并且以电视台为例,说美国有几十个电视台,古巴有九个,而苏联只有八个。对于许多主     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

数理逻辑及其应用

数理逻辑是现代科学与技术的发展中最重要的新兴领域之一。它是一门“边缘”科学。它的研究对象深深地伸入好几门科学的对象中去,接触到这些科学的核心问题,对于各门科学的重要问题予以统一的综合的处理而形成自己独立的研究方向。数理逻辑的发展一般可以说是从莱布尼兹开始;莱布尼兹第一个提出这样的观念,认为逻辑学应当象几何和算术一样,可以借助于线条和算式以使得我们的思维能够有所遵循地前进,并且逻辑学应当象数学     

我国软件产业发展中几个问题

我国软件产业发展中几个问题ＰｒｏｂｌｅｍｓｉｎｔｈｅＤｅｖｅｌｏｐｍｅｎｔｏｆＣｈｉｎａ＇ｓＳｏｆｔＷａｒｅＩｎｄｕｓｔｒｙ￥／／唐稚松（中国科学院软件研究所，北京１０００８０）长期以来，国内外专家均认为我国有发展软件产业的潜力，但现实情况却不尽如人...