逻辑与计算机科学哲学

逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集

本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...

计算机科学中的现代逻辑学

吴允曾选集 数理逻辑与计算机科学

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

计算机科学丛书 数字逻辑设计与计算机组成

本书从简单的数字逻辑电路设计基础开始，由浅入深，讲解组合逻辑和时序逻辑电路的设计技术、计算机组成的基本原理和计算机体系结构的相关概念，最后深入探讨了现代计算机系统如何利用硬件支持安全的体系结构。书...

无所不能 从逻辑运算到人工智能，计算机科学趣史

《计算机趣史》是对计算机科学历史的一次深刻记录，回顾了计算机科学的早期历史，包括数学家们“人工”计算的时期，一直到进化到现代社会的便携式计算机。除此之外，书中还涵盖从英国科学家查尔斯·巴贝奇的不同发...

逻辑运算与逻辑电路

数字逻辑与VHDL逻辑设计

本书内容包括逻辑代数基础、门电路、VHDL语言基础、组合逻辑电路、时序逻辑电路、半导体存储器等内容。

数字逻辑与VHDL逻辑设计习题解答

本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。