张秀

符号逻辑:语法、语义和证明.pdf

本书从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言不能完全充分表

实用电子技术.pdf

本书重点介绍大量电子元器件和电子设备部件的结构原理、关键参数和适用场合,同时也对电子元器件的发展历史、最新行业动态以及相关技术标准进行适当介绍。

局域网技术.pdf

本书着眼于局域网的基础知识介绍,具体阐述了局域网的传输技术、局域网的访问控制、典型的局域网、局域网的连接方式及设备等。