陈永，胡晓辉著2017 年出版269 页ISBN：9787113225797
随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...
刘昌华，管庶安编著2009 年出版384 页ISBN：9787811248005
本书系统地介绍了数字逻辑的基本原理与设计方法。全书共7章：逻辑代数基础、逻辑门与组合逻辑分析、组合逻辑设计、触发器与时序逻辑分析、时序逻辑设计、可编程逻辑器件及开发、信号产生与变换。特点是由实...
(法)莫里斯·梅洛－庞蒂(Maurice Merleau - Ponty)著2009 年出版276 页ISBN：9787532746071
莫里斯·梅洛-庞蒂，法国20世纪最重要的哲学家、思想家之一。他在存在主义盛行年代与萨特齐名，是法国存在主义的杰出代表，也是法国现象学运动的奠基人之一。本书借助马克思·韦伯的关于合理性的思想，对以卢卡奇...
刘远东著2018 年出版253 页ISBN：9787510866753
作者曾出版《太极密码》一书，书中作者在对孔子儒学进一步探究中确立了一个概念，即太极儒学。太极儒学是建立在太极哲学本体论基础上的孔子儒学。太极儒学的哲学价值观等社会观、政治观、历史观与现代民主主义...
（美）伯特尔·奥尔曼（Bertell Ollman）著；田世锭，何霜梅译2006 年出版322 页ISBN：7040199289
本书从内在哲学的角度全新阐释了马克思主义的辩证法，论证了马克思主义辩证法的内在逻辑和内容。本书内容论证有力，逻辑简洁，文笔清晰，适用于教师教学和科研。...
周建武编著2016 年出版222 页ISBN：9787302432982
作为一本专门针对论证有效性分析的写作指导用书，本书在论证逻辑理论的框架下，从批判性思维写作的实用角度来设计，从有利于自学的角度来编写。既系统讲述逻辑论证、逻辑谬误和批判性思维的知识和原理，更侧重于批...
