符号逻辑:语法、语义和证明.pdf 本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言不能完全充分表 叁号仓库 2022年07月18日 0 点赞 0 评论 6091 浏览
实用电子技术.pdf 本书重点介绍大量电子元器件和电子设备部件的结构原理、关键参数和适用场合,同时也对电子元器件的发展历史、最新行业动态以及相关技术标准进行适当介绍。 叁号仓库 2022年07月16日 0 点赞 0 评论 685 浏览
局域网技术.pdf 本书着眼于局域网的基础知识介绍,具体阐述了局域网的传输技术、局域网的访问控制、典型的局域网、局域网的连接方式及设备等。 叁号仓库 2022年07月15日 0 点赞 0 评论 1495 浏览