• 结构化程序设计 • if 语句 • switch 语句 • while 语句 • do-while 语句 • for 语句 • break 和 continue 语句

 程序调试  GUI界面下的调试  命令行调试工具

(1) C++面向对象的程序实例 (2) 类与对象 (3) 继承与派生 (4) 运算符重载

2.1 算法的概念 2.2 算法的举例 2.3 算法的特性 2.4 怎样表示一个算法 2. 5 结构化程序设计方法

4.1 选择结构程序的设计 4.2 循环程序结构设计

6.1 程序的模块化结构 6.2 模块的组装 6.2.1 文件包含与头文件的使用 6.2.2 模块间的连接 6.2.4 条件编译

4.1选择结构简介 4.2if语句 4.3 switch语句 4.4选择结构程序示例

2.1 算法的概念 2.2 简单算法举例 2.3 算法的特性 2.4 怎样表示一个算法 2.5 化程序设计方法

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章 程序验证 ProgramVerification Necula 04 Decision-Procedure Based Theorem Provers Tactic-Based Theorem Proving Inferring Loop Invariants

中国科学技术大学：《程序分析与程序验证》课程教学资源（PPT课件讲稿）第7章 程序验证 ProgramVerification Necula 03 Theorem Proving for FOL Satisfiability Procedures