中国逻辑元研究的研究价值是继承弘扬中国逻辑精华。
The value of the research is to carry forward and develop the excellent heritage of Chinese logic.
古今墨家逻辑研究主体、对象、元语言工具、成果形态、层次、方法、作用、后果和评价等元性质,有根本差异。
There are many differences between the study on subject, object, meta-language tool, the form of achievement, ways, function and evaluation etc of the Logic in old times and in modern times.
这本书的研究与自动机和一元二阶逻辑关系,对自动机类重点描述分布式系统的并发行为。
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
应用推荐