数字逻辑 第2版 【工业技术】

本书根据“计算机学科教学计划大纲”编写，全书共9章，主要内容包括数字逻辑基础、逻辑代数基础、集成门电路、组合逻辑电路、触发器、同步时序逻辑电路、异步时序逻辑电路、硬件描述语言Verilog HDL、脉冲波形...

晚期资本主义的文化逻辑 第2版 【文化科学教育体育】

本书为詹明信的学生张旭东所选编，辑录了詹氏的十二篇批评理论论文，可以让读者一窥詹氏批评活动的时空跨度和理论特征。

每天做一个逻辑探案游戏 【文化科学教育体育】

本书汇编古今中外最经典最好玩的400余例逻辑探案游戏，从巧破疑案、机智应对、真话假话、智慧推理、不可能案件、非比寻常、明察秋毫七个方面对探案游戏进行分类汇编。所选择的游戏题目来源广泛，古今中外均有；...

会展成长的逻辑 文化、创意与预警 【文化科学教育体育】

本书分析会展企业发展过程中存在困难的基础上，详细分析了中小会展企业品牌建设中文化创意的影响作用。通过对会展文化创意的预警进行分析，阐述会展中文化创意的知识产权风险、种类、如何预防等方面进行分析，提...

爱问熊·德国启蒙益智金奖丛书 逻辑思维 【文化科学教育体育】

本丛书秉承德国幼教专家以幼儿为本位、以满足幼儿自然学习需求为核心的教育理念，辅以爱问熊等虚拟形象，帮助幼儿轻松进入启智空间。本书教会孩子逻辑思维。...

受苦人的讲述 骥村历史与一种文明的逻辑 【政治法律】

语言、逻辑与文化 【语言文字】

本文集是作者从事逻辑学教学和研究以来的关于逻辑和语言的思考，对语言影响思维，思维进而影响逻辑类型进行了一些探索和尝试，特别是对被西方学者称之为过程语言的汉语以及被称之为关联性思维的中国型思维及其对...

执行的逻辑 【哲学宗教】

本书是一本关于工作执行的书籍。其主要内容是一套简单易懂却又富有逻辑的工作执行方法。本书共分为七个章节，首先阐述了逻辑思考对工作的重要性，并提出了一套科学的工作方法；然后又在各章节中逐一讲解这套工作...

数字逻辑 第2版 【工业技术】

本书是计算机科学与技术、软件工程等信息专业本科“数字逻辑”课程教材。 全书共分为九章，主要内容有：数字逻辑的基本概念、基本逻辑运算电路、逻辑代数和逻辑函数的化简、组合逻辑电路、触发器、时序逻辑电...

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...