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

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

声音是携带信息的极其重要的媒体，是多媒体技术研究中 的一个重要内容。声音的种类繁多，如人的话音、乐器声、动 物发出的声音、机器产生的声音以及自然界的声音等。 这些声音有许多共同的特性，也有它们各自的特性。在用 计算机处理这些声音时，既要考虑它们的共性，又要利用它们 的各自的特性

例5.2 某地区有976个自然村，根据该地区的地貌将各村所属 耕地划为三种类型，各村按类型上报了耕地面积(以亩计算) 为核实这些上报数据，采用按比例分配的分层随机抽样方法 在每一种类型中抽取若干村进行实测核实，倘若以 X表示上 报数据，以Y表示实测数据,抽样结果如下表:

量子论是近代物理的基础之一,而光电效应则给予量子论以直观、鲜明物理图像。随着科学技 术的发展,光电效应已广泛应用于工农业生产、国防和许多科技领域之中 普朗克常数是自然界中一个很重要的普适常数,它可以用光电效应法简单而又较准确地求出

10对我们来说是一个非常重要的数字。 1 0是我们大多数人拥有的手指或脚趾的数目，我 们当然希望所有人的手指脚趾都是 1 0个。因为我们的手非常适合数数，因而我们人类已经适 应了以1 0为基础的数字系统： 前面数章已经提到过，通常使用的数字系统称为以 1 0为基础的数字系统或十进制。这个 数字系统对我们来说非常自然，因而我们很难想像出还有其他的数字系统

教学目的 定义在测度空间上的函数可以自然产生出各种各样的集.为 用测度论的方法研究这个函数, 特别是在定义积分时, 必须要求这些集是可 测的. 由此产生了可测函数的概念.本节将给出可测函数的定义并讨论其基 本性质

设V是数域P上一个n维线性空间.V上全体线性函数组成的集合记作 L(V,P).可以用自然的方法在L(V,P)上定义加法和数量乘法 设f,g是V的两个线性函数定义函数f+g如下:

对于传统的结构化( sequent ip)言,我们向买没有太多的疑惑,虽然在函 数调用的背后,也有着堆栲建立、参数排列、返闻地址、堆栈清除等等幕后机制 但函数调用是那么地自然而明显

采用针肋式散热器对密封电子设备进行自然冷却时 ,为了获得最佳温度场主要相关参数的取 值 ,运用正交试验的方法 ,对肋厚、肋长、肋高三要素进行优化设计。结果表明 ,该方法不仅能够得到参 数的最佳组合 ,而且可以确定其对温度影响的敏感度