601什么是程序设计语言(PL)? 人机通信媒体(介),软件的载体 人工语言机器识别,方便人使用 形式语言无二义性 必须可执行 它是计算机科学与计算机工程的交汇点 计算机科学是在符号学、集合论、离散数学、 组合数学基础上发展的 以符号语言表达的软件还要满足正确性、可 靠性、安全性、可扩充、可移植、方便性 第7页第7页 0.1 什么是程序设计语言（PL）? • 人机通信媒体(介)，软件的载体 – 人工语言 机器识别，方便人使用 – 形式语言 无二义性 – 必须可执行 • 它是计算机科学与计算机工程的交汇点 – 计算机科学是在符号学、集合论、离散数学、 组合数学基础上发展的 – 以符号语言表达的软件还要满足正确性、可 靠性、安全性、可扩充、可移植、方便性