现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

汉语同义词的形式类及其特点

本文是俄罗斯汉学家谢米纳斯对现代汉语同义词现象认识的两个问题(其他几个问题见另外两篇译文)。她从音节特点和语义特点入手给同义词分类,同时指出:准确同义词只有共同成分,没有差别成分,相对同义词有共同成分也有差别成分,共同成分是构成同义词的基础,而差别成分是它们的区别。同义词的可互换性表现在一定的语言环境中。     

压出机中循环水温度的模糊控制系统

以压出机循环水温度控制为例，给出了循环水温度的模糊控制模型及其控制系统的硬件设计和软件设计。     

集合·悖论·模糊

本文从集合论的概念入手，引入了朴素集合论中的著名悖论，从数学的哲学分析，阐明了集合论的两个发展方向──公理化及模糊化处理。     

细胞（d1,d2）—有向图语言类在集合论运算下的封闭性

本文给出了细胞（ｄ１，ｄ２）－有图自动机类的定义及其接受语言（判断）类的定义，并讨论了该语言（判断）类在并、交、补等集合论运算下的封闭性。