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

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

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

办公自动化（Office Automation，简称OA）是 一门综合了网络、多媒体等技术的 新型综合学 科。本章将主要介绍与办公自动化技术有关的基 本概念以及办公自动化技术的发展历程，同时对 本教材学习的重点—办公自动化应用软件 Microsoft Office 2000中文版 进行简要的介绍

目的 —— 1、翦除弯曲前面的拦路虎之一（惯性矩) 2、从更高的观点，统一截面几何性质 3、便于学习（弊病：只有大厦，无脚手架）

园林艺术是园林学体系中一个主干学科,是研究园林创 作理论的学科。 建国以来我国的城市绿化,园林建设有了很大的发 展。高等院校也曾设立园林专业,培养园林绿化方面的 技术人才,开设了有关的主要课程,如园林史、园林规划 设计园林工程、园林植物、植物造景设计、园林建筑等

由于小枫（化名）偷偷从家中溜走，与一同学乘出租车到北戴河游玩。因小 枫在北戴河一处工地玩耍时造成该工地经济损失 3000 元，小枫的父母将出租司 机高师傅及渔阳联合公司告上法院，要求赔偿路费、经济损失、精神损失费共计 7900 元，并要求渔阳联合公司对其司机教育不当作出书面道歉，并对上述诉讼 请求承担连带赔偿责任。近日，北京市朝阳区人民法院经审理依法驳回原告的诉 讼请求

教学对象（本课程适合的专业和年级）：全校公共选修课程。 预备知识： 普通话、心理学、礼仪学知识。 课程的教育目标： 本课程着重介绍有声语言交流的基本理论、内容、方法和技巧等方面的知识， 旨在提高学生的语言交流技能，提高学生的素质和参与社会活动的技能

当代国际知名景观设计师，“极简主义”设计代表人物，美 国景观设计师协会（ASLA）理事，美国注册景观设计师协会 （CLARB）认证景观设计师，美国城市设计学院成员，美国设 计师学院荣誉奖获得者，美国景观设计师协会城市设计与规划 奖获得者。他有着丰富的从业和教学经验，一直活跃在景观设 计教育领域，1978-1981年曾担任哈佛大学设计研究生院景观 设计系主任