德国物理学家和生理学 家．于1874年发表了《论力 (现称能量)守恒》的演讲， 首先系统地以数学方式阐述 了自然界各种运动形式之间 都遵守能量守恒这条规 律．是能量守恒定律的创立 者之一．

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

德国物理学家和生理 学家．于1874年发表了 《论力(现称能量)守恒》 的演讲，首先系统地以数 学方式阐述了自然界各种 运动形式之间都遵守能量 守恒这条规律．是能量守 亥姆霍兹 恒定律的创立者之一．

德国物理学家和生理学 家．他在J. P.焦尔和J. R.迈尔 的能量守恒研究的基础上，于 1847年发表了《论力(即现称 能 量)守恒》的讲演，首先系 统地以数学方式阐述了自然界 各种运动形式之间都遵守能量 守恒这条规律．这对近代物理 学的发展起了很大作用．所以 说亥姆霍兹是能量守恒定律的 创立者之一．

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

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

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

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

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

柏拉图 Plato (427BC~347BC) 柏拉图(Plato)，公元前 427 年生于古希腊首都雅典，公元前 347 年卒于雅典。 柏拉图是古希腊伟大的哲学家。他认为宇宙万物（包括恒星、得星、太阳和月亮）均围绕 地球旋转。他对自然科学方面的研究涉及算术、平面几何、立体几何、天文学、声学等