随着信息时代的到来，网络成为人们生活中越来越不可或缺的元素之一。许多网站利用其强大的资源和知名度，面向其会员群提供日益专业化和便捷化的服务。例如，音像制品的在线租赁就是一种可行的服务。本文主要讨论了在线DVD租赁的问题，对网站如何购买DVD，如何分配DVD进行了一些研究

1. MATLAB 的概况 MATLAB 是矩阵实验室（Matrix Laboratory）之意。除具备卓越的数值计算能力 外，它还提供了专业水平的符号计算，文字处理，可视化建模仿真和实时控制等功能。 MATLAB 的基本数据单位是矩阵，它的指令表达式与数学,工程中常用的形式十分 相似,故用 MATLAB 来解算问题要比用 C,FORTRAN 等语言完相同的事情简捷得多

静态链接库的扩展名为.lib 。如前所述，使用静态链接库的 应用程序是从函数库中得到所引用的函数的执行代码，然后 把执行代码放进程序自身的执行文件中，这样，应用程序在 运行时就可以不再需要静态函数库的支持了，通常库中存放 是常见的数学函数等

1.(10 分) 电冰箱制冷系统原理见图 1。继电器的输出电压 uR 为压缩机上的工作电压。绘制 控制系统框图，简述工作原理。若出现压缩机频繁起动，请提出相应的改进措施

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

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

树是一类结构较为简单的图，是用途极 为广泛的离散数学模型，特别是二叉树， 它在计算机科学中用得最多.因此在学习 时应很好地掌握好诸如树的充要条件、 生成树、最优生成树、根树、树的各种 算法、及二叉树的访问次序等内容.平面 图是实际背景很强的一类图，能用本章 介绍的方法判断一个图是否为平面图

本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

本课程是为数学系本科高年级学生开设的. 本课程讲述一般空间上的测度论的基础知 识和欧氏空间 n R 上的 Lebesgue 测度与积分理论. 现代数学的许多分支如概率论, 泛函分析, 群上调和分析等越来越多的用到一般空间 上的测度理论. 对数学专业的学生而言, 掌握一般空间上的测度论的基础知识, 已经变得越 来越重要. 因此本课程将一般空间上的测度论和 n R 上的 Lebesgue 积分结合起来讲述

本书内容分为：行列式、矩阵及其运算、矩阵的初等变换与线性方程组向量组的线性相关性、相似矩阵及二次型、线性空间与线性变换等六章，各章均配有一定数量的习题，书末附有习题答案。其中一至五章（除用小字排印的内容外）符合教学基本要求，教学时数约34学时。一至五章中用小字排印的内容供读者选读，第六章较多地带有理科的色彩，供对数学要求较高的专业选用