One Forth

C00 · 第 1 章 · 课程规划页

程序、类型、控制流与函数

本章研究程序、类型、控制流与函数。内容依次处理程序的值、类型与表达式求值规则、条件分支、循环控制流不变量与终止条件、函数参数、返回值与作用域中的状态。

所在 Part
第一编 程序与数据
预计学习
40 分钟
建设状态
已规划，尚无正式正文

预备知识

本章没有登记站内章节先修，可按本册顺序进入。

计划实验

本章未登记独立交互实验；定义、公式和例题仍按下列提纲规划。

LEARNING OBJECTIVES

完成本章后应能

  1. 01准确说明程序的值、类型与表达式求值规则。
  2. 02完成条件分支、循环控制流不变量与终止条件所需的推导、证明或算法。
  3. 03使用计算、例题或反例检验函数参数、返回值与作用域中的状态。

PLANNED SECTIONS

计划章节结构

  1. 01

    程序的值、类型与表达式求值规则

    界定程序的值、类型与表达式求值规则，明确使用的条件、主要结论与可复核步骤。

  2. 02

    条件分支、循环控制流不变量与终止条件

    推导条件分支、循环控制流不变量与终止条件，明确使用的条件、主要结论与可复核步骤。

  3. 03

    函数参数、返回值与作用域中的状态

    检验函数参数、返回值与作用域中的状态，明确使用的条件、主要结论与可复核步骤。

计划定义

  1. 程序的值、类型与表达式求值规则：对象、记号与前提

    围绕程序的值、类型与表达式求值规则列出主要对象、符号、前提与定义边界。

计划公式

  1. 条件分支、循环控制流不变量与终止条件：关系、判据与可复核步骤

    把条件分支、循环控制流不变量与终止条件整理为可检查的关系、判据或算法步骤；涉及定量模型时写出公式，并说明符号、适用条件，以及需要时的单位或复杂度。

计划例题

  1. 函数参数、返回值与作用域中的状态：案例、反例与核验

    围绕函数参数、返回值与作用域中的状态给出明确输入、前提或数据，逐步分析并用反例、误差、守恒量或边界条件复核。

计划练习

  1. 程序、类型、控制流与函数：定义、关系与边界综合练习

    联结程序的值、类型与表达式求值规则、条件分支、循环控制流不变量与终止条件与函数参数、返回值与作用域中的状态，分别检验定义辨析、主要步骤和适用边界。

关键词

程序、类型、控制流、函数、第一编 程序与数据、编程与科学计算基础