文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。
Finally, the world universal logic research status and the 2nd world Congress on universal logic are introduced in the article, hoping to bring everybody's attention.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
以泛布尔代数理论为依据,以城市主干道十字路口为研究对象,设计了一种新的交通灯逻辑控制模型。
Pan Boolean algebra-based logical control model of the traffic light is designed in this paper, with an illustration of crossroads in the urban trunk roads.
同时设立了泛函分析、数理逻辑等研究组,以加强相应理论学科的研究。
It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.
同时设立了泛函分析、数理逻辑等研究组,以加强相应理论学科的研究。
It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.
应用推荐