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 例题选解 习题二

第3章集合的基本概念和运算 3.1集合的基本概念与表示 3.2集合的基本运算 3.3集合元素的计数 3.4例题选解

第四章 地基变形 第五章 土的抗剪强度和地基承载力 第六章 土压力及土坡稳定 第七章 地基勘察、验槽 第八章 浅基础设计

3.1 集合的基本概念与表示 3.2 集合的基本运算 3.3 集合元素的计数 3.4 例题选解 习题三

5.1二元运算及其性质 5.2代数系统 5.3代数系统的同态与同构 5.4例题选解

一、课程性质和目的 《机械制造技术基础》是研究机器零件的机械加工工艺过程的一门学科，是高等学校 机械类专业必修的技术基础课。课程设置的目的是为学生在机械制造技术方面奠定最基础的 知识和技能基础，并为学习其他有关课程及以后从事机械设计和加工制造工作打下必要的基 础

第一节 概述 第二节 基本理论和条件选择 第三节 各类高效液相色谱法 一、液固吸附色谱法（LSC） 二、液液分配色谱法（LLC） 三、化学键合相色谱法（BPC） 第四节 影响分离的因素 第五节 高效液相色谱仪

8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解

目前，随着教育改革的不断深入，高等职业教育发展迅速，进入到一个新的历史阶段。 学校规模之大，数量之众，专业设置之广，办学条件之好和招生人数之多，都大大超过了 历史上任何一个时期。然而，作为高职院校核心建设项目之一的教材建设，却远远滞后于 高等职业教育发展的步伐，以至于许多高职院校的学生缺乏适用的教材，这势必影响高职 院校的教育质量，也不利于高职教育的进一步发展