提升编程能力：参考文献与优秀程序设计策略

本课程《程序设计方法学简介》由南京航空航天大学计算机科学与技术学院的蒋夏军教授主讲，旨在引导学生理解和掌握程序设计的基本原理和最佳实践。课程的核心内容围绕程序设计的核心要素展开，包括开发成本的重要性，如通过IBM公司早期操作系统的例子来强调编写高质量程序的必要性。课程引用了多部经典教材作为参考，如胡正国、吴健和邓正宏编著的《程序设计方法学》（国防工业出版社，2009年）、覃征和王志敏编写的《程序设计方法与优化》（西安交通大学出版社，2004年）以及刘伟的《设计模式的艺术》（清华大学出版社，2013年）。通过这些教材，学生将学习到程序设计语言的发展历史，软件危机如何催生了程序设计方法学，以及其具体内容，如结构程序设计、程序设计风格和设计出"优秀"程序的关键特性，如正确性、易维护性和性能均衡。 课程涵盖了程序正确性的核心要求，从程序组成结构、运行性能、表现形式等多角度探讨如何实现高质量的程序。此外，教授强调了学习程序设计技巧和工具的重要性，比如使用设计工具、调试工具和测试工具，以及通过实践、兴趣、勤劳和运气等多方面因素来提升编程能力。对于计算机系学生，课程期望他们能熟练运用多种方法进行系统开发，选择合适的数据结构和算法，有独立研究和改进系统性能的能力，熟悉特定领域的技术，并具备团队协作和沟通技巧，以及评价和实施新技术的能力。 整个课程设计旨在培养学生的实践技能和理论素养，使他们在软件开发领域成为既懂技术又具备全面素质的专业人才。通过阅读课程的参考文献，学生可以深入了解程序设计的理论基础和实际应用，从而更好地提升自己的编程水平。