当前位置:首页 > TAG信息列表 > 逻辑
逻辑
-
数字逻辑与VHDL设计
侯树文编2004 年出版114 页ISBN:7508417518本书介绍基本逻辑电路与逻辑芯片,逻辑电路的VHDL基本描述、组合逻辑的VHDL设计、时序逻辑的VHDL设计、应用设计与课程设计选题等。本书可作为高等学校相关专业的电子设计课程或数字逻辑课程设计的,也可作为数...
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
看故事·学逻辑 来玩逻辑游戏!
(韩)魏基哲原著;(韩)金宇先插图;李慕康译2002 年出版135 页ISBN:7530109782这是一本生动有趣的故事书,也是一本通俗易懂的逻辑书!逻辑是一门思维科学,具有良好逻辑智能的人,能做缜密的思考、精准的判断及正确的表达;因此逻辑人人必学,否则就容易做错事、说错话,或是人云亦云,被人牵着鼻子走...