3.1 顺序程序设计举例 3.2 数据的表现形式及其运算 3.3 C语句 3.4 数据的输入输出

• 基本知识 – 程序验证、程序逻辑、命题逻辑、谓词逻辑 • Hoare逻辑 – Hoare三元式、赋值公理、结构化语句的推理规 则、推论规则 • 生成验证条件的演算 – 最弱前条件演算、生成验证条件的演算 • 程序验证实例演示 – 二分查找程序

命题的基本概念 命题联结词 命题合式公式、重言式 自然语句的形式化

• 函数式程序 –不含赋值或其它形式的改变变量值的操作 • 命令式程序 –赋值语句是典型的构造 • 本章围绕一个叫做Kernel的简单的命令式语言来讨论语义

• 基本知识 – 可计算理论, 计算资源, 计算复杂性理论, 算法分析 • 复杂性的计量 – 问题规模、复杂性函数、最坏、最好和平均三种情况的时间复杂性 • 复杂性的渐近行为及其阶 – 复杂性的渐近行为、渐近意义下的记号O、记号O的运算规则、复杂性渐近阶分析的重要性 • 算法复杂性渐近阶的分析 – 算法的复杂性渐近阶的分析、语句规则的例举

4.1 数据查询功能 • 4.1.1 查询语句的基本结构 • 4.1.2 简单查询 • 4.1.3 多表连接查询 • 4.1.4 子查询 4.2 数据更改功能 • 4.2.1 插入数据 • 4.2.2 更新数据 • 4.2.3 删除数据

第4章 VB控制结构 4.1 顺序结构 4.2 选择结构 4.3 循环结构 4.4 其它辅助控制语句 4.5 综合应用 4.6 程序调试 第5章 数组和自定义类型 5.1 数组的概念 5.2 数组的基本操作和排序 5.3 列表框和组合框控件 5.4 自定义类型及其数组 5.5 综合应用 第六章 过程 6.1 函数过程的定义与调用 6.2 子过程的定义与调用 6.3 参数传递 6.4 递归 6.5 综合应用

《新编大学英语》综合教程（第三版第三册）B3U1_Self-market_Writing Material_增强语句表现力的方法

1 C语言程序设计入门 2 数据类型、运算符和表达式 3 顺序结构和常用语句 4 选择结构程序设 5 循环结构程序设计 6 数组 7 函数 8 编译预处理 9 指针 10 结构体与共用体

山东大学：《SAS软件应用基础》课程电子教案（PPT课件）第六章 SAS过程中常用语句、第七章 SAS服务过程、第八章 基础统计过程（1/2）