第2章 程序设计语言基础知识

程序语言的基本类型和特点：

• 逻辑式语言是一类以形式逻辑为基础的语言。
• 函数式语言以$\lambda$演算为基础。
• 命令式语言是基于动作的语言，计算被看成动作的序列。

程序错误的基本知识：
一般程序中的错误可以分为语法错误和语义错误（或逻辑错误），语法错误是语句形式上的错误，语义错误是含义上的错误（逻辑错误）。
运行中出现的逻辑错误是动态语义错误。