小学教育ch01逻辑证明集合函数.pptxVIP

离散结构;2019/11/26;;第一类是研究运动的时候直接出现的，也就是求即时速度的问题。 第二类问题是求曲线的切线的问题。 第三类问题是求函数的最大值和最小值问题。 第四类问题是求曲线长、曲线围成的面积、曲面围成的体积、物体的重心..;什么是离散变量？; 随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。;2019年11月26日;2019年11月26日;2019年11月26日;2019/11/26;数理逻辑（Mathematical Logic） ——是研究演绎推理的一门学科，用数学的方法来研究推理的规律统称为数理逻辑。 ;逻辑是人的一种抽象思维，是人通过概念、判断、推理、论证来理解和区分客观世界的思维过程。 ;逻辑学就是研究推理的学问。;《皇帝的新衣》;聪明的俘虏;数理逻辑;应用逻辑符号，可以把人类的推理过程分解成一些简单、原始、机械的步骤 使得用机器代替人类进行推理成为可能 提供程序员设计算法时的思维方法指导;前提;1.1.2命题(proposition);21; 非陈述语句都不是命题，如： I ：天哪！ ( 祈使句) J：你好吗？ ( 疑问句) K：立正！ (命令句) 不能判断真假的陈述语句叫悖论。 例如：一个人说：“我正在说谎”。 1)结论：如果他是说谎