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

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

根据2004年3月公布的 大纲,现组织出版注册电气工程师(伏配电)执业资格考试辅导教材,共分为公共 基础部分、专业基础部分和专业部分三册。本书组织者和每一部分的执笔人均为该 领域的专家,并正在参与注册电气工程师培训讲课工作,他们具有深厚的专业知识 和丰高的工程设计经验,从而使该套图书具有较强的指导性和实用性 本书为公共基础部分,由北京建筑学院组织编写,包括了高等数学、普通物 理、脊通化学、理论力学、材料力学、流体力学、计算机应用基础、电工电子技术 和工程经济九门课程的基础知识

第7章图论 7.1无向图及有向图 7.2通路、回路与连通性 7.3图的矩阵表示 7.4欧拉(Euler)图 7.5哈密尔顿(Hamilton)图 7.6二部图 7.7平面图 7.8树

要求学生掌握地图的数学基础，了解如何进行地图概括，熟悉地图符号和地图表示，明确普 通地图和专题地图的特征及编制原理，认识几种先进的制图手段

家畜育种学的主要任务是研究家畜的起源、驯化、品种形成、生长发育的规律、家畜的体质，外形、生产力鉴定，这种选配的理论和方法，改良家畜个体与群体遗传结构的方法和措施，培育 品种和品系的方法，利用杂种优势的途径与方法以及保证家畜育种工作顺利进行的组织与措施等。 本课以高等数学、生物学、生物化学、生物统计学为基础，在学完普通遗传学及数量遗传学的基础上而开设的一门专业基础课。 要求学生熟练掌握动物育种学的常用术语，了解动物生长发育规律，掌握选种选配的进本理论和方法以及改良动物个体与群体遗传结构的措施，要求学生根据育种的基本原理与育种工作实 质相结合，正确设计育种计划，把育种的基本原理灵活的运用到生产实践中去

一、编写说明 1教材选用及大纲制定依据 本门课程选用教材为全国统编“面向21世纪课程教材”《生物统 计附试验设计》(第三版,中国农业出版社)。根据培养目标及“面向 21世纪课程教材”的要求,制定本教学大纲。 2.教学环节 本门课程为动物科学等本科专业的专业基础课,其前期基础课为 高等数学、概率论、线性代数,在此基础上开设本门课程。主要教 学形式为课堂讲授,主要教学环节为课堂讲授。另外由于教材内容较 多,课堂讲授学时有限,故安排40学时的学生自学内容。 3.教学方法 以课堂讲授为主,安排适当学时组织学生课堂讨论。研制电子教案 和多媒体幻灯片课件,在教学方法和手段上采用现代教育技术

一、CAM在专业学科知识结构中的地位 1.模具制造 2.CAD/CAM 3.机械设计理论机械制造理论 4.数学基础力学基础机械基础

在科学试验、生产实践和社会生活中,影响一个事件的因素往往很多。例如,在工业 生产中,产品的质量往往受到原材料、设备、技术及员工素质等因素的影响;又如,在工 作中,影响个人收入的因素也是多方面的,除了学历、专业、工作时间、性别等方面外, 还受到个人能力、经历及机遇等偶然因素的影响.虽然在这众多因素中,每一个因素的改 变都可能影响最终的结果,但有些因素影响较大,有些因素影响较小故在实际问题中

第4章关系 4.1集合的笛卡儿积 4.2二元关系的概念及其特性 4.3二元关系的运算 4.4关系的闭包运算 4.5等价关系与集合的划分 4.6偏序关系