当前位置：首页 > 名称
大约有7,058项符合查询结果项。（搜索耗时：0.0799秒）
为您推荐： 逻辑 形式逻辑 正版图书 神逻辑 逻辑学 底层逻辑 模糊逻辑
-
-
逻辑分步分阶秒杀100例
贺瑞锐编著；华图公职研究院审定2014 年出版184 页ISBN：9787516134153本套图书针对公务员考试行政职业能力测验各模块和申论阅读技巧，归纳了模块各类题型的“秒杀”技巧和高频考点，系统梳理，做到举一反三，灵活运用，综合运用。本书侧重技巧与速度，建议考生应在阅读本书前掌握基本考.....
-
逻辑学基础教程 第3版
彭漪涟主编2018 年出版296 页ISBN：9787567556713本书共分13个章节，主要对逻辑学基础教程作了介绍，具体内容包括词项与概念、简单命题（直言命题）及其推理、复合命题及其推理、模态命题及其推理、逻辑基本规律等，此次修订主要是更换案例，调整观点，吸取学界最新......
-
数字逻辑与系统解题辅导和Foundation操作指南
侯建军主编2001 年出版441 页ISBN：7113041930本书分上篇：数字逻辑与系统解题指导，包括数字逻辑基础，逻辑门电路等；下篇：Foundation软件平台操作指南，包括可编程逻辑器件教学实验系统，Foundation2.1操作指南。...
-
-
佩特利网和逻辑控制器图形表示工具 GRAFCET
（法）R.大卫（Rene David），（阿尔及利亚）H.奥兰（Hassane Alla）著；黄建文，赵不贿译1996 年出版239 页ISBN：7111048695 -
-
-
计算系统的形式语义 下
陆汝钤著2017 年出版1856 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
计算系统的形式语义 上
陆汝钤著2017 年出版926 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
学科分类
出版时间