This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
An error in measuring the optical rotation of a solutition is found based on the mathematic Logic.
文章由数学逻辑出发，发现了旋光度确定中存在的一些不足。
As is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.
作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
应用推荐