1.1 计算机网络 互连的、自治的（无主从关系）计算机集合 ISP：因特网服务提供商 RFC（请求评论）：IETF的标准文档 Internet ISP网络互联的“网络之网络”（这个概念比较难以理解，要多翻阅大黑书，阅读里面的解释） 数以百万计互连的计算设备的集合：主机（端系统） 通信链路：光纤、铜缆、无线电、卫星…… ...

将原子命题进一步细化，进而表示个体与总体的内在联系和数量关系 基本概念 个体：研究领域中可以独立存在的具体或抽象的概念 谓词：刻画个体的性质及事物关系的词 作用在个体，产生一个命题 一元谓词：包含一个参数的谓词，表示一元关系 $P(x)$ 多元谓词：包含多个参数的谓词，表示多元关系 $P(x_1,x_2,…,x_n)$ ...

应用一套形式化规则对以符号表示的描述性陈述进行推理的系统 基本概念 断言：一个陈述句 命题：具有真假意义的断言 一个命题不能同时既为真又为假 一个命题可在一定条件下为真，而在另一条件下为假 论域（个体域）：由所讨论对象的全体构成的集合，其中的元素称为个体 命题常量：某个具体命题 命题变量：指代任何具体命题 原子...