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

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

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

连续函数的定义 定义3.2.1 设函数 f x( ) 在点 x0的某个邻域中有定义，并且成立 lim x x → 0 f x( ) = f x( ) 0 ， 则称函数 f x( ) 在点 x0 连续，而称 x0是函数 f x( ) 的连续点。 “函数 f x( ) 在点 x0 连续”的符号表述（或称“ε −δ ”表述）：

模型是反映某事物某些属性的一个结构. (仿 制品) 这种结构有实物型的,也有抽象的.从而 模型有实物模型和抽象模型之分.如飞机模 型、建筑物模型等是实物模型,而数学模型 是抽象模型. 所谓抽象模型是用字母、符号、关系式等 抽象语言刻划出某种特定事物的一个结构

Mathematica 是美国 Wolfram 研究公司生产的一种数学分析型的软件，以符号计算见长，也具有 高精度的数值计算功能和强大的图形功能。 假设在 Windows 环境下已安装好 Mathematica4.0，启动 Windows 后，在“开始”菜单的“程序”中单 击 ，就启动了 Mathematica4.0，在屏幕上显示如图的 Notebook 窗口，系统暂时取 名 Untitled-1，直到用户保存时重新命名为止 输入 1+1，然后按下 Shif+Enter 键，这时系统开始计算并输出计算结果

1使学生初步掌握数列极限这一重要概念 的内涵与外延； 2使学生学会用定义证明极限的基本方法 3通过知识学习，加深对数学的抽象性特 点的认识；体验数学概念形成的抽象化思 维方法；体验数学“符号化”的意义及 “数 形结合”方法； 4了解我国古代数学家关于极限思想的论 述，增强爱国主义观念

据统计，在世界各地，人们所使用的语言达2700多种。 什么是语言？ – Webster的定义：“为相当大地区的公众所懂得并 使用的‘话’，以及组成这些‘话’的方法的统一 体” – 上述定义对于建立语言的数学理论而言不够精确。 另一定义：“某一字母表上符号串（句子）的集合” 仍需进一步精确化：

一、 电路模型与电路中基本变量 在集总假设的条件下，定义一些理想电路元件(如R、L、C 等)，这些理想电路元件在电路中只起一种电磁性能作用，它 有精确的数学解析式描述，也规定有模型表示符号。对实际的 元器件， 根据它应用的条件及所表现出的主要物理性能，对 其作某种近似与理想化(要有实际工程观点)，用所定义的一种 或几种理想元件模型的组合连接，构成实际元器件的电路模型

因为数值的精度受每次操作所保留的数位的限制,所以数值的任何运算都会引入舍入误 差,重复的多次数值运算会造成累积误差。而对符号表达式的运算是非常准确的,因为它们不 需要进行数值运算,所以无舍入误差