南京大学计算机 史颖欢,离散数学-南京大学计算机科学与技术系.pdf
离 散 数 学
Discrete Mathematics
第五讲:集合论导引
史颖欢
南京大学计算机科学与技术系
201年9月 8 日
前 情 提 要
证明的本质
逻辑推理的形式结构
常用的证明方法与证明策略
直接证明法,间接证明法
归谬法(反证法),穷举法
空证明法,平凡证明法
构造性证明法,反例证明法
前情提要 2
本讲主要内容
引子:数学基础的几次危机
集合的概念
子集、空集与幂集
集合的运算与集合代数
集合公式的几种基本证明方式
本讲主要内容 3
引子:数学基础的几次危机
19世纪早期,发现数学存在缺陷
Н.И.Лобаче́вский,G. Riemann :非欧几何
A. Cauthy等:分析(微积分及其扩展) 的基础
19世纪后期的公理化运动:去除基于直觉或经验
的朴素概念的模糊之处,使数学严密化
G. Peano ,D. Hilbert :算术与几何的公理化
引子 4
数学基础的几次危机(续)
1900年国际数学大会
H. Poincare: “借助集合论…可以建造数学大厦…今天我
们可以宣称绝对的严密已经实现了!”
随后发现了Cantor集合论中的一些悖论:如1901年
的罗素悖论
G. Frege评论:当大厦竣工时基础却动摇了
基础知识 5
数学基础的几次危机(续)
危机的解决:
公 理 化 集 合 论
引子 6
集合的概念
集合没有明确的定义,G. Cantor给出了一种刻划:
“吾人直观或思维之对象,如为相异而确定之物,其总括
“Unter einer Menge verstehen wir jede Zusammenfassung M
之全体即谓之集合,其组成此集合之物谓之集合之元素。
von bestimmten wohlunterschiedenen Objeckten in unserer
通常用大写字母表示集合,如、、等,用小写字母表
Anschauung oder unseres Denkens(welche die Elemente von
示元素,如、、等。若集合系由、、等诸元素所
M genannt werden) zu einem ganzen”
组成,则表如 = {,,,⋯},而为之元素,亦常用 ∈
—— Georg Cantor
之记号表之者, 非之元素,则记如 ∉。”
(肖文灿译于1939年, 《集合论初步》,商务印书馆)
集合的概念 7
集合的概念(续)
例: 1,2,3 为集合, “自然数之全体”为集合;
但诸如 “甚大之数”或 “与点接近之点”则不
能为集合,因其界限不清
集合
南京大学计算机 史颖欢,离散数学-南京大学计算机科学与技术系.pdf相关推荐
- 南京大学计算机科学系照片,欧拉图-南京大学计算机科学与技术系.pdf
欧拉图-南京大学计算机科学与技术系 欧拉图 离散数学─图论初步 南京大学计算机科学与技术系 内容提要 欧拉通路/ 回路 欧拉图的充要条件 半欧拉图的充要条件 构造欧拉回路的Fleury ...
- 南京大计算机系学郑国梁,一个基于层次结构的DSM模型-南京大学计算机科学与技术系.PDF...
一个基于层次结构的DSM模型-南京大学计算机科学与技术系 if算机科学2001Vol.28V-.I 一个基于层次结构的DSM模型 )' AHierarchicalDSM Model 陈贵海 谢 立 南 ...
- 南京大学计算机科学与技术系茅兵,层次协同系统中的对象映射模型-南京大学计算机科学与技术系.pdf...
层次协同系统中的对象映射模型-南京大学计算机科学与技术系 计 算机科学 坐 ' 层次协 同系统 中的对象映射模型 李 冀 樊健生 李成楷 茅 兵 陈贵海 谢 立 南京大学软件新技术 国家重 点实验 室 ...
- 北京科技大学计算机导师怎么样,【计算机考研导师】北京科技大学计算机科学与技术系硕士生导师王卫苹...
计算机考研一年比一年火热.对考生而言,充分了解高校.专业以及师资情况是一项最基础.最关键的工作.以下是中公考研小编为大家整理的"北京科技大学计算机科学与技术系硕士生导师王卫苹",希 ...
- 清华大学计算机学院武永卫,清华大学计算机科学与技术系导师简介:徐明伟
对考生而言,充分了解高校.专业以及师资情况是一项最基础.最关键的工作.以下是中公考研小编为大家整理的"清华大学计算机科学与技术系导师简介:徐明伟"的相关信息,希望对同学们有所帮助. ...
- 计算机学院教学指导委员会职责,计算机科学与技术系教学指导委员会工作职责及管理条例(试行)...
计算机科学与技术系教学指导委员会工作职责及管理条例 (试行) 第一章日常工作 第一条:分组 1.第一组:郭小云.李荣.胡志军.王鸿斌.彭永胜.郑志荣,郭小云负责: 2.第二组:曹建芳.赵青杉.王兰春. ...
- 计算机考研用户导师,【计算机考研导师】北京科技大学计算机科学与技术系硕士生导师曾庆峰...
计算机考研一年比一年火热.对考生而言,充分了解高校.专业以及师资情况是一项最基础.最关键的工作.以下是中公考研小编为大家整理的"北京科技大学计算机科学与技术系硕士生导师曾庆峰",希 ...
- 清华大学计算机系主任应明生,清华大学计算机科学与技术系导师简介:应明生...
对考生而言,充分了解高校.专业以及师资情况是一项最基础.最关键的工作.以下是中公考研小编为大家整理的"清华大学计算机科学与技术系导师简介:应明生"的相关信息,希望对同学们有所帮助. ...
- 云南师范大学商学院计算机二级证书,云南师范大学商学院计算机科学和技术系.doc...
云南师范大学商学院计算机科学和技术系 云南师范大学商学院计算机科学与技术系云南师范大学商学院计算机科学与技术系 (电话:0871-8314117) 05-06学年下学期期中学生网上意见.建议反馈表 学 ...
最新文章
- RedisJson 横空出世,性能碾压ES和Mongo!
- Load average in Linux的精确含义
- java查询数据库以后的对齐问题
- 013_JavaScript函数
- Serverless 解惑——函数计算如何安装字体
- CentOS部署NetCore - 2. 安装NetCore SDK On CentOS
- ORACLE常见问题一千问[501至600](不怕学不成、就怕心不诚!)
- 产品经理和UX设计师,变革已可期
- 输入梯度惩罚与参数梯度惩罚的一个不等式
- 如何看懂dtd文档?
- php开发地图导航,php 实现百度地图(很详细出来的地图)
- php strip_tags 少,详解PHP函数 strip_tags的用法不足之处
- Python编程基础10:列表
- mysql 存储过程执行ddl_mysql存储过程执行ddl语句
- html css 命名规范,浅谈css命名规则(新手必看)
- 计算机网络中的冗余的意思,计算机网络基础 实验四 交换网络中冗余链路.ppt
- 求职面试PPT模板推荐
- 时间换算:UTC是世界协调时,BJT是北京时间,UTC时间相当于BJT减去8
- Java中如何将一个数组分割成多个等长度的数组
- 情感分析的一些专业术语