本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

OpenGL 是一个功能强大的图形库，用户可以很方便地利用它开发出有多种特殊视觉效果（如光照，纹 理，透明，阴影）的三维图形。OpenGL 的前身是 SGI 公司为其图形工作站设计的一个图形开发软件库 IRIS GL（Graphics Library），由于其性能优越，因此受到了用户的一致推崇。SGI 公司有针对性地对 GL 进行 了改进，特别是扩展了 GL 的可移植性

1．用直线数值微分法扫描转换 (1,2), (6,4) P1 P2直线段。写出扫描转换的结果：x，y 的坐标。 2．用中点画线法扫描转换(1,0), (6,3) P1 P2直线段。要求写出每一步递推过程的 x，y 坐标及判别式 d 的值

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

教学目的 本节讨论直线上的 Riemann 积分(包括广义 Riemann 积分) 与 Lebesgue 积分之间的关系.同时给出 Riemann 可积函数的一个判别条件. 本节要点 用测度理论可以给出函数 Riemann 可积的一个简明的充要条 件. 本节的主要结果表明 Lebesgue 积分是 Riemann 积分的推广. 利用 Lebesgue 积分的性质, 可以解决一些 Riemann 积分的问题

通过本章的学习，使学生了解什么是净出口函数以及影响净 出口函数的因素；理解 BP 曲线的义，掌握 BP 曲线的推导过程； 理解净资本流出函数的概念及其影响因素；熟悉开放的宏观经 济模型；熟悉国际收支失衡的具体情形以及调节方法；理解蒙 代尔—弗莱明模型的基本内容和分析方法；了解内外部均衡的政策选择

1、 实空间线性泛函的控制延拓定理。 2、 复空间线性泛函的控制延拓定理。 3、 保范延拓定理。 4、 延拓定理的推论及其意义

1 领会纲推理在证明中的关键作用. 2 困难在于如何将经典分析中的问题转化为泛函分析中的问题

本书第一卷根据菲赫金哥尔茨(T,M.中)著“微积分学教程”第一卷1951年版译出，照1958年版修订。可作为综合大学数学专业教学参考书。 本分册是第一卷的第五至第七三章，紧接前一分册的第一至第四章，本分册的内容主要是讲多元数、函数行列式及其应用、微分学在儿何上的应用，最后有个附录，提到了函数推广的问题

由中国测绘学会大地测量专业委员会委员、湖北省测绘学会副秘书长、中国科学院测量与地球物理 研究所高级工程师郝晓光博士主编的《系列世界地图》已于２０００年４月至２００２年４月在湖北省地 图院编制完成，并得到中共中央文献研究室常务副主任、中国史学会会长金冲及教授等历史、地理、教育、 测绘、地震、地质、极地、海洋、气象各专业十多位著名专家的推荐。郝晓光几年来一直为出版《系列世 界地图》而奔走