Software Foundations Basics.pdf

系列书籍是通向计算机科学的大门, 整套书介绍了什么是可靠软件的研发, 及其与数学的深刻关联. 这套书完全开源, 有社区中文译版, 学习曲线平滑, 适合有一定逻辑学基础的高中或大学学生学习.