程序设计方法学-程序设计方法学的ppt

主要介绍程序设计方法学这一新兴学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 培养学生运用这些理论和方法，从认识规律出发训练各种良好的程序设计习惯，掌握到目前为止公认为成熟的有实用价值的具有完整科学理论和与之相关的技术方法作指导的软件设计和开发技术。

ACM集训用的清晰易懂的ppt

关于搜索的算法 想参加ACM的可以看看，入入门 清晰易懂

C语言参考手册之函数库

摘录自《C 程序设计语言（第二版）》，doc格式哦！