内容
集合论
集合及其运算、映射及其合成、关系及其运算、无穷集合及其基数
图论
图的一些基本概念、一些特殊的图、树及其性质、割点和桥、连通度、平面图、图的着色、有向图
教学目的
抽象思维&逻辑推理——计算思维
抽象：
1.忽略不重要的，提取主要的
2.映射（联系）
3.无关具体信息
4.符号化
5.能表达真实世界对象间固有联系
主要思想
集合用来描述事物的性质
映射用来描述事物之间的联系
世界上所有事物都不是孤立存在的
能形式化（抽象-符号化）就能自动化
表示-变量
表示——>逻辑推理（操纵）
特点
概念：联系具体背景，落实到抽象定义
证明多
证明技术、分析问题、解决问题
教学方法
讲清概念的背景（来源）——从具体到抽象——从抽象到具体
理解概念、方法、定理、信息
证明、解题：发现解法
已知——未知：找出联系
瞻前顾后
学习方法
基于问题的学习
以思考为基础、敢于怀疑
概念是第一位，概念的背景（直观原型）、抽象定义的内涵和外延要准确
犯错
一个过程，循序渐进
思考
