当前位置：首页 > TAG信息列表 > 逻辑
逻辑
-
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
-
-
-
-
-
-
数字电路与逻辑设计 第3版 导教·导学·导考
王有绪主编；许柯，姚海红编2003 年出版371 页ISBN：756121670X本书根据王疏银主编的《数字电路与逻辑设计》一书，按章次编写了重点内容提要、重点知识结构、考点及常见题型精解、考研点津、课后习题祥解、学习效果测试及参考答案6大部分。...
-
-
数字逻辑设计实验技术与EDA工具
张亦华等编著2003 年出版291 页ISBN：7563506721本书全面介绍了数字电路的基本实验技术和实验技巧，以及现代电子设计自动化的硬件（PLD）、软件，和它们的开发应用。其特点是，突出电子设计自动化观念，突出虚拟实验与实际器件实验的有机结合，并以大规模集成电路为中...
-
-
-
-
-
-
-
-
-
