2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用
文件格式: PPT大小: 899KB页数: 86
1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统
文件格式: PPT大小: 1.56MB页数: 87
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第四节 空间直线及其方程
文件格式: PPSX大小: 4.98MB页数: 4
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第六节 空间曲线及其方程
文件格式: PPSX大小: 4.08MB页数: 5
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第五节 曲面及其方程
文件格式: PPSX大小: 9.96MB页数: 9
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第二节 数量积、向量积、混合积
文件格式: PPSX大小: 10.26MB页数: 6
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第三节 平面及其方程
文件格式: PPSX大小: 6.01MB页数: 6
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第八章 向量代数与空间解析几何 第一节 向量及其线性运算
文件格式: PPSX大小: 9.24MB页数: 6
同济大学：《高等数学》课程教学资源（预习PPT讲稿）第三章 微分中值定理与导数的应用 第四节 函数的单调性与曲线的凹凸性
文件格式: PPS大小: 7.83MB页数: 7