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

1. 掌握内积、欧氏空间等概念; 2. 熟练运用 Schmidt 正交化方法求标准正交基; 3. 掌握子空间的正交补概念，会求某些空间的正交补； 4. 掌握正交变换的概念，会用正交变换的等价条件和正交矩阵的某些性质

网络模型的讨论，本质上属于图论范畴 用途极其广泛（如：运输系统设计、信息系统 设计、项目计划管理等）、实用性强，是网络 模型的特征之一，其解法的特殊，也是值得关 注的地方 需要重点掌握：各种网络模型的算法

模拟，也称仿真 计算机模拟：利用计算机，主要是利用计算 机生成随机数对管理问题、系统进行仿真， 模拟出若对管理系统进行不同的设计（如不 同数量的收银通道）、若对库存系统制订不 同的策略（如不同的库存量、订货量），其 可能之经济后果，从而帮助在各种不同系统 中或不同策略中筛选出较优的管理方案来 重点：掌握模拟技术的想法

实验内容 学习计算机模拟的基本过程与方法。 1、模拟的概念。 4、实验作业。 3、计算机模拟实例。 2、产生随机数的计算机命令

一个复杂系统往往要受诸多因素的影响,而这 些因素又要受到一定的限制。最优化就是在一定约 束下,如何选取这些因素的值,使某项(或某些) 指标达到最优的一门学科。它包括数学规划、决策 分析、最优控制等等。 最优化方法在经济、军事、科技等领域内都有 广泛的应用

一、社会生活中经常遇到的问题, 如: 二、优化模型和优化软件的重要意义 三、结构设计 资源分配 生产计划 运输方案 四、解决优化问题的手段

本章内容：DataSet的基本构成，访问和填充DataSet，修改DataSet及数据更新。 本章重点：DataSet的基本构成，常用子对象、属性和方法，使用DataSet与DataAdapter配合完成常规数据库操作。 8.1 DataSet的基本构成 8.2 DataAdapter对象 8.3 使用DataSet访问数据库 8.4 实训

本章内容：数据绑定，GridView控件，Details View控件，FormView控件，使用数据绑定表达式实现数据绑定，调用DataBind()方法实现数据绑定。 本章重点：GridView控件，DetailsView控件，FormView控件

本章内容：数据绑定，GridView控件，Details View控件，FormView控件，使用数据绑定表达式实现数据绑定，调用DataBind()方法实现数据绑定。 本章重点：GridView控件，DetailsView控件，FormView控件