1）二分查找算法思想和算法实现中；2）程序可终止性分析和证明；3）编程中对潜在溢出情况的处理；3.教学难点1）迭代中循环不变量的寻找；2）潜在溢出情况的判断；4.教学环节设计围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教学形式。1）课堂讨论如何分析和证明循环是可终止的？2）作业围绕循环可终止性和循环不变量的证明布置作业。3）在线讨论围绕溢出问题，寻找以前编写代码中的Bug。第7讲排序1.教学目标1）计算思维：尝试理解有序性如何能够提高计算效率，函数在最坏情况下的渐进复杂性；2）算法与数据结构：一般就地排序，特别是选择排序，大O符号的理解；3）程序设计：更多利用数组和算法不变性进行编程的例子。本讲教学支持课程目标1、课程目标3和课程目标4。2.教学重点1）用大0符号表示渐进复杂性；2）排序的分类和选择排序算法思想：3）渐进复杂度分析方法的运用；3.教学难点1）选择排序过程中寻找循环不变量：2）渐进复杂度分析方法；4.教学环节设计围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教学形式
1）二分查找算法思想和算法实现中； 2）程序可终止性分析和证明； 3）编程中对潜在溢出情况的处理； 3. 教学难点 1）迭代中循环不变量的寻找； 2）潜在溢出情况的判断； 4. 教学环节设计 围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教 学形式。 1）课堂讨论 如何分析和证明循环是可终止的？ 2）作业 围绕循环可终止性和循环不变量的证明布置作业。 3）在线讨论 围绕溢出问题，寻找以前编写代码中的 Bug。 第 7 讲 排序 1. 教学目标 1）计算思维：尝试理解有序性如何能够提高计算效率，函数在最坏情况下 的渐进复杂性； 2）算法与数据结构：一般就地排序，特别是选择排序，大 O 符号的理解； 3）程序设计：更多利用数组和算法不变性进行编程的例子。 本讲教学支持课程目标 1、课程目标 3 和课程目标 4。 2. 教学重点 1）用大 O 符号表示渐进复杂性； 2）排序的分类和选择排序算法思想； 3）渐进复杂度分析方法的运用； 3. 教学难点 1）选择排序过程中寻找循环不变量； 2）渐进复杂度分析方法； 4. 教学环节设计 围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教 学形式
1）课堂讨论评价算法效率，为什么考虑的是在大规模数据处理下算法的行为？分析算法复杂度为什么考虑的是在给定数据规模下最坏情况时的复杂度？2）作业围绕渐进复杂度分析方法运用布置作业。3）在线讨论选择排序同冒泡排序在方法上的区别。第8讲快速排序1.教学目标1）计算思维：重温二分查找中讲到的分治技术，初次领会随机性的重要性：2）算法与数据结构：观察归并排序和快速排序，二者都采用分治策略，但总体策略不尽相同；3）程序设计：递归在归并排序和快速排序两种算法实现上的应用。本讲教学支持课程目标1、课程目标3和课程目标4。2.教学重点1）归并排序算法实现及算法渐进复杂性分析：2）快速排序算法实现及算法渐进复杂性分析；3）利用随机性提高算法性能：3.教学难点1）分治策略中如何“分”，如何“治”；2）随机性的理解；4.教学环节设计围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教学形式。1）课堂讨论分治策略是计算机科学中解决问题的精妙方法。归并排序和快速排序都采用了分治策略，但这两种算法在“分”和“治”上明显不同。区别在哪里？2）作业布置快速排序和随机性编程的作业。3）在线讨论怎样理解随机性，计算机里怎样模拟随机性？
1）课堂讨论 评价算法效率，为什么考虑的是在大规模数据处理下算法的行为？分析算法 复杂度为什么考虑的是在给定数据规模下最坏情况时的复杂度？ 2）作业 围绕渐进复杂度分析方法运用布置作业。 3）在线讨论 选择排序同冒泡排序在方法上的区别。 第 8 讲 快速排序 1. 教学目标 1）计算思维：重温二分查找中讲到的分治技术，初次领会随机性的重要性； 2）算法与数据结构：观察归并排序和快速排序，二者都采用分治策略，但 总体策略不尽相同； 3）程序设计：递归在归并排序和快速排序两种算法实现上的应用。 本讲教学支持课程目标 1、课程目标 3 和课程目标 4。 2. 教学重点 1）归并排序算法实现及算法渐进复杂性分析； 2）快速排序算法实现及算法渐进复杂性分析； 3）利用随机性提高算法性能； 3. 教学难点 1）分治策略中如何“分”，如何“治”； 2）随机性的理解； 4. 教学环节设计 围绕教学重点和教学难点，综合运用课堂讲授与讨论、作业、在线讨论等教 学形式。 1）课堂讨论 分治策略是计算机科学中解决问题的精妙方法。归并排序和快速排序都采用 了分治策略，但这两种算法在“分”和“治”上明显不同。区别在哪里？ 2）作业 布置快速排序和随机性编程的作业。 3）在线讨论 怎样理解随机性，计算机里怎样模拟随机性？