(美)大卫·W.安格勒著;陈素艳,张绣蕊译;魏屹东审校2016 年出版333 页ISBN:9787030480392
本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、...
周建武主编2011 年出版353 页ISBN:9787302252283
本书是根据最新硕士学位研究生入学资格考试大纲的要求,和2011年逻辑命题趋势,对2010版进行了修订。
(德)康德著;许景行译2011 年出版155 页ISBN:9787100077552
本书译自联邦德国达姆斯塔特科学书社1968年出版的《康德文集》第5卷。这是一部由学生听讲笔记整理而成的康德著作,不过它在出版前曾经康德亲自审定过,因而比起其他版本来更具有权威性。在该书中,康德在传统的...
胡锦主编2004 年出版312 页ISBN:7040157357
本书是普通高等教育“十五”国家级规划教材。本书主要内容包括:微机接口、常用总线、定时/计数器、中断处理技术并行接口、串行通信接口、DMA接口技术、人机交互设备接口、模拟接口的基本知识及微机接口分析...
欧阳少波编著2004 年出版393 页ISBN:7302094802
本书是根据2004年硕士专业学位(GCT)联考最新大纲编写,题型与题量与2004年考试基本一致。本书紧密联系当前的考试动态以及最新的形势与政策,注重实际操作演练,共有20套标准模拟试卷及详细解析。每套题均由一线著...
庞溟著2013 年出版422 页ISBN:9787509738597
本书是作者庞溟从自己发表过的众多书评文章中精选出来的,是作者对自己书评工作的总结。此次精选的87篇书评,涵盖了经济、社会、历史、科技、文化等多个方面,比较客观、独立地反映了作者的读书观,评论立足图书就...
汪行福著2013 年出版111 页ISBN:9787309090147
本书从对当前中国所面临的问题入手,通过对西方从18世纪到20世纪现代社会不同阶段的核心价值和制度化成就的探讨,在借鉴他人成果的基础上力图为中国未来的改革方向提供出作者自己的思路,并指出:在当代人类发展视...
马汉达,赵念强编著2012 年出版200 页ISBN:9787302288145
本书分为课程的学习指导和实验指导两大部分,第一部分主要包含对课程每章内容设计的主要的知识点的总结介绍及习题答案,第二部分是数字逻辑实验的主要内容,包含数字逻辑的实验方式、EDA的基本概念、归纳总结了...