逻辑
逻辑动态系统代数状态空间法理论与应用
《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的,在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章,第1~4章介绍逻辑动态系统代数状态空间法;第5~8章为其各种应用,包括有限自动机的动态建模
碳中和:逻辑体系与技术需求
《碳中和:逻辑体系与技术需求》,作者:丁仲礼等 著 出版社:科学出版社 ISBN:9787030732859。2060年前实现碳中和,是党中央经过深思熟虑作出的重大战略决策,也是当前社会各界普遍关心的热点问题。作为最大的发展中国家,我国实现这个宏伟目标时间紧、压力大、任务重。在此背景下,如何绘制可落地的“碳中和”路线图,使我国在展现大国担当的同时,保障自身发展的权益,这是政策制定背后的重大科学问题
中国现代文化视野中的逻辑思潮
《中国现代文化视野中的逻辑思潮》,作者:曾昭式著 出版社:科学出版社 ISBN:9787030242846。本书主要运用“文化学的方法”、比较方法、“时段理论”等方法,以中国现代文化视野中的逻辑思潮为研究对象,探讨西方逻辑东渐与中国文化的互动关系。