在命题逻辑中，把命题分解到原子命题为 止，认为原子命题是不能再分解的，仅仅研究 以原子命题为基本单位的复合命题之间的逻辑 关系和推理。这样，有些推理用命题逻辑就难 以确切地表示出来。例如，著名的亚里士多德 三段论苏格拉底推理：

用一枚均匀硬币作为随机数发生器，出现正面记 为 T，代表有一个顾客的到来；出现反面则记为 H， 假设一系列的投掷结果为 T H T T H T T T H H T… 每抛一次硬币相当于对每一分钟进行观察，看是 否有顾客来到。（考虑再计算机上如何实现？）

我们在《数学分析》教学中引入数学实 验内容，是对师范类本科教学的一个尝 试 重点培养学生计算机和“用数学” 的 能力 采用目前国际流行的数学工具软件 Matlab开展教学活动

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

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

一、描述程序设计语言中单词的一种简单而且数学化的工具。 二、表示符号串的构成模式 三、正则表达式r定义了一个符号串集合rs

一、了解关系数据库有关概念 二、了解关系运算、关系代数 三、了解关系模型的数学定义 四、了解关系的规范化理论

一、了解关系数据库有关概念 二、了解关系运算、关系代数 三、了解关系模型的数学定义 四、了解关系的规范化理论

这一章的内容我认为是最有趣的。还记得前言中那个抽取骨架的例子吗？现在我们就来看看 它是如何实现的。 今天所讲的内容属于一门新兴的学科：数学形态学(Mathematical Morphology)。说起来很有 意思，它是法国和德国的科学家在研究岩石结构时建立的一门学科。形态学的用途主要是获 取物体拓扑和结构信息，它通过物体和结构元素相互作用的某些运算，得到物体更本质的形 态

绍1807年傅立叶(J. Fourier)提倡用函数的 Fourier级数展开研究热传导方程以 来, Fourier分析成了信划函数空间、求解微分方程、进行数值计算与信息处士等的 主要工具之一 Fourier分析之所以能有如此作为,究其原因,从士论角度看主要在 于在多常见运算在 Fourier变换后性质变得很好(例如微商运算变为多项式乘法