1.设u=a-b+2c,v=-a+3b-c.试用a、b、c表示2u-3v. 2.如果平面上一个四边形的对角线互相平分,试用向量证明这是平行四边形

1.设在xOy面内有一分布着质量的曲线弧L,在点(x,y)处它的线密度为x,y),用对弧长的曲线积分分别表达: (1)这曲线弧对x轴、对y轴的转动惯量lx,ly (2)这曲线弧的重心坐标x,y

第1章命题逻辑 第2章一阶逻辑 第3章集合的基本概念和运算 第4章二元关系和函数 第5章代数系统的基本概念

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

一、电气设备的灭弧 二、高低压一次设备的选型 三、变压器容量、台数型号的选择 四、工厂变配电所的主接线图

1.1 计算机网络的演变与发展 1.2 计算机网络的功能和应用 1.3 计算机网络的层次体系结构 1.4 网络通信标准化组织 1.5 计算机网络的分类 1.6 实例简介

传输控制协议TCP和用户数据报协议UDP TCP和UDP所使用的网络层协议是IP，提供不可靠的网络服务（C类网络） TCP的主要作用：在不可靠的网络服务上提供端到端的可靠的字节流 TCP由RFC 793定义，RFC1122进行了修改和改进，RFC1323进行了扩展

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二