陈步雷著2009 年出版377 页ISBN：9787503697197
中国所走向的法治是什么样的法治，它与其他发达国家的法治在价值、制度、技术等法律文化要素上是什么样的关系，法治在价值标准和技术路径上有没有一定程度的共通性、普适性，不同国家的法治化变迁过程是否存在着...
周训伟著2013 年出版482 页ISBN：9787511716118
本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...
史燕来，高寿岩编2011 年出版49 页ISBN：9787303132409
这是《红黄蓝快乐入学必看》的延续选题，上一套书侧重帮助学龄前儿童做好语文学习的准备，而这套书则侧重帮助学龄前儿童做好数学学习的准备。 这套丛书包括16本书、1副游戏牌、1张光盘，按照基础描写（数字描红本）...
洪邮生著2013 年出版408 页ISBN：9787108041722
本书以近现代欧洲国际关系演进的现实逻辑和价值取向为主线，分为“理论探索”、“现实主义传统下的英国对外政策”、“观念的碰撞：英国与欧洲一体化”、“欧洲对华关系：‘价值观’外交还是战略伙伴？”以及“嬗变...
徐义国著2018 年出版310 页ISBN：9787519603144
笔者力图以尽量简明的文献和逻辑呈现金融与科技的交互关系而非金融或科技的某一侧面：金融对科技的支持以及科技（新技术）在金融服务及产品创新中的应用。笔者以金融与科技的交互协同开篇，着眼于科技金融与金融科...
姚从军著2016 年出版188 页ISBN：9787030486202
本书基于逻辑视角，围绕互模拟展开系统而深入的研究。首先，梳理了互模拟在模态逻辑和非良基集合论中的发展历程，讨论了互模拟的性质；其次，阐述了互模拟在模态逻辑中的基本理论，比较互模拟与模态等价之间的关系，......
蒋汉荣编著2008 年出版246 页ISBN：7811232103
本书是作者在多年的高职教学实践经验的基础上编写而成的。主要内容有数字电路基础、逻辑门电路、组合逻辑电路、集成触发器、时序逻辑电路、脉冲波形的产生与整形电路、半导体存储器和可编程逻辑器件、模数...
王玉灵著2018 年出版214 页ISBN：9787520338691
马克思主义的民主理论逻辑是：追求真正的民主，实现人类真正的自由和平等，在现实的物质关系中找到实现真正民主的力量和途径即“以制度社会主义实现民主”，即民主发展的历史唯物主义逻辑。民主社会主义民主的理论...
从算法设计到硬线逻辑的实现 实验练习与Verilog语法手册
夏宇闻编著2001 年出版155 页ISBN：7040092530
高等学校教材:本书共分两部分，主要介绍了用Verilog语言设计数字电路系统的实用方法与技术。
