刘霞,李云,魏青梅编著2015 年出版222 页ISBN:9787121257612
本书是依据高等工科院校数字电路逻辑设计课程教学大纲的基本要求,并结合作者多年的科研与教学经验编写而成的。本书详细讲解了数字逻辑电路实验及其实验基础,每项实验内容包括典型芯片的功能及应用、数字电路...
贺瑞锐编著;华图公职研究院审定2014 年出版184 页ISBN:9787516134153
本套图书针对公务员考试行政职业能力测验各模块和申论阅读技巧,归纳了模块各类题型的“秒杀”技巧和高频考点,系统梳理,做到举一反三,灵活运用,综合运用。本书侧重技巧与速度,建议考生应在阅读本书前掌握基本考.....
彭漪涟主编2018 年出版296 页ISBN:9787567556713
本书共分13个章节,主要对逻辑学基础教程作了介绍,具体内容包括词项与概念、简单命题(直言命题)及其推理、复合命题及其推理、模态命题及其推理、逻辑基本规律等,此次修订主要是更换案例,调整观点,吸取学界最新......
(法)R.大卫(Rene David),(阿尔及利亚)H.奥兰(Hassane Alla)著;黄建文,赵不贿译1996 年出版239 页ISBN:7111048695
刘秋香主编2016 年出版279 页ISBN:9787510215834
本书的突出特点是通俗易懂,趣味性强,融知识性、趣味性于一体。本教材在全面系统地阐述法律逻辑学的基础理论、基本知识的同时,引入了大量引人入胜的例子,并对这些例子进行了逻辑分析,既保证了法律逻辑知识的系统...
陆汝钤著2017 年出版1856 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN:9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法,并结合近年来形式语义学的最新进展,适应发展迅速的并发系统等对形式语义描述的需求,着重增加了并发语义和移动计算系统的形...