课程简介 计算机科学的理论体系 2、程序理论 ·关心的问题 -给定模型M, 如何用模型M解决问题 ●包括的领域 一程序设计范型、程序设计语言、程序设计、形式 语义、类型论、程序验证、程序分析等课 程 简 介 计算机科学的理论体系 2、程序理论 • 关心的问题 – 给定模型M，如何用模型M解决问题 • 包括的领域 – 程序设计范型、程序设计语言、程序设计、形式 语义、类型论、程序验证、程序分析等