抽象思维方式：数据抽象（数据模型---抽象模型）和方法抽象（算法）
数据结构课程主要研究数据表示和数据处理的基本问题
问题：什么是模型化，形式化？？？？
基本思路：就是分析问题解决的过程
数据表示：数据对象和数据元素之间的关系
数据处理：例如顺序表的查找，插入，删除，修改，创建等
从千变万化的问题到0/1编码的程序，中间的跨度要运用
抽象分级 填补
计算思维：抽象思维，逻辑思维，模型化抽象思维，形式化逻辑思维
从想法到算法主要考虑如何求解模型，包括模型的存储表示以及描述求解步骤
对照抽象数据类型：ADT
模型：对实际问题进行抽象的一种形式化表达方式
形式化方法：参见收藏的软件工程形式化方法：
一、形式化方法定义
软件形式化方法是指建立在严格数学基础上的软件开发方法。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。
二、形式化方法分类
根据说明目标软件系统的方式，形式化方法可以分为两类：
面向模型的形式化方法。面向模型的方法通过构造一个数学模型来说明系统的行为。
面向属性的形式化方法。面向属性的方法通过描述目标软件系统的各种属性来间接定义系统行为。
根据表达能力，形式化方法可以分为五类：
1.基于模型的方法
2.基于逻辑的方法
3.代数方法：
4.过程代数方法
5.基于网络的方法
形式化的含义是：上下文无关，例如执行语句x=1；x变为1，与赋值前存储的内容没有关系
上下文无关文法_百度百科