一、知识点回顾 二、格式输出函数: printf(\格式控制字符串\,输出项列表);

1. 数组 ①约束数组类型⎯下标界是静态确定的

Chapter 5 Control Flow 1 Overview of Statements 2 Selected Construction if switch 3 Loops goto and if

Chapter 4 Input and Output 1 Standard input and output 2 Formatted output--- Printf 3 Formatted input--- Scanf 4 Examples

方法:从输入串开始,归约,直至文法开始符

-λ表示法和λ演算系统概述 -类型和类型系统的扼要讨论 -基于表达式的归纳、基于证明的归纳和良基归纳

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第6章 递归类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第1章 引言

知识点回顾 1运算符与表达式: 算术运算符 用于各类数值运算。包括加(+)、减(-)、乘(*)、除(、求余(或称模运算,%)、自增(++)、自减(--)共七种