程序设计方法学实验教学大纲

程序设计方法学实验教学大纲一'课程名称：程序设计方法学二' 实验目的和任务：本课程主要介绍程序设计方法学的科学理论、方法和实现技术。即结构化程 序、程序正确性证明、结构化程序的正确性证明、递归程序及其