Alevel计算机书单推荐 这些书单也是申请剑桥大学的计算机专业要备哦

同学们在学习Alevel的过程中，课外书的阅读一定是少不了的，因为很多Alevel科目的考试都会涉及到课外知识。同学们想补充课外知识的话，记得关注我们。下面来给Alevel计算机的同学们推荐一些Alevel计算机书单。

Alevel计算机书单

《新图灵选集》提供了66篇关于计算机科学理论、技术和应用的文章。有些文章很简单，读者可以在5分钟内随意浏览，有些则技术含量较高，需要读者另外看别的参考资料才能吃透。总的来说，本书语言简洁精炼，值得一读。

通过这本书，可以培养一系列能力技巧，帮你解锁定义的真正含义、定理和证明、解决问题、有效书写。直接证明法、案例法、归纳法、矛盾法、对位法都有包括。具体的例子贯穿始终，内附大量练习，覆盖众多的课题比如说除数、欧几里德算法、取模运算、等价关系、函数的注入和溢出性等。这本材料已经经过学员多年检验，基本所有的基础知识都涵盖了。300多个练习可以测试自己的进步程度，你很快就可以像一个数学家一样思考了。

这是本汇总了150个算法题的宝书。内容分为四大部分：

1.算法设计的总体策略及分析法的相关教程

2.以难度级别分为三个等级的算法题共150个

3.对应每一个算法题的提示

4.对应每一个算法题的答案

要想学好CS，训练好的逻辑思维必不可少，这本The Logic Manual是牛津大一第一个学期必修课‘introduction to logic’所用的课本，作者是牛津New College的哲学教授。虽然这本书会很偏向哲学，但却是极好的训练逻辑思考的读物。

本书通过一个童话故事中主人公的经历，来讲述一些计算机科学会涉及到的基本概念、计算思维，以及算法的应用等等。是一本很有趣的书，可以当做课外读物。

这本书主要介绍了formal reasoning, 在第二版中更是增加了关于 SAT solvers, existential/universal second-order logic, micro-models, programming by contract 以及 total correctness的章节和扩展部分。Model-checking章节的覆盖范围也更广。

章后的习题可以让学员熟练掌握基本的formal reasoning的验证方法。总的来说，是一本很好的入门逻辑和formal reasoning的书。

这本书整合了计算机科学和人工智能的知识，就tableaux, resolution, Davis &Putnam methods, logic programming, unification 和 subsumption方面展开解读。同时对于 non-classical logics, 也有更详细的介绍。

本书在于它会结合历史激发读者对于CS或AI的兴趣，同时大量的附加练习和详细的答案可以确保学员对书中读到的知识可以熟练应用。这本书非常适合没有数学及计算机科学相关背景知识，同时想对AI有整体了解的同学。

如何学习alevel计算机课程

基本功要扎实

因为考试题型设计以综合题为主，题目会涉及一个知识点的很多细节，因此复习的时候切记不要有遗漏的地方，要把每一点都做到知其然的地步，才能在应考的时候做到游刃有余。

重要知识点要有深入理解

有的知识点考察很深入，复习的时候没有认真思考过，在考试过程中也很难有所突破。平时学习过程中要养成思考真题的习惯，没有搞懂的一定要多请教，不要留知识漏洞。

学习Alevel计算机，一方面要广泛涉猎计算机科学的方方面面，从硬件到软件再到信息安全都有涉及，另一方面对一些重要的底层知识点也要深入学习，例如数字逻辑，几种数据结构等。

如今随着社会的不断发展，科技水平也在迅猛发展，计算机应用已经成为了人们智能生活离不开的部分。如果您对计算机感兴趣或者想申请国外大学计算机专业的话，一定要来参加橡沐A Level课程班，让您用满分成绩轻松拿目标大学。

点击

英国剑桥大学计算机专业alevel要求有多高 橡沐2位手握剑桥的学长来告诉你

2021年Alevel数学统计学考点总结 这些P6卷必考的内容你都会了吗

查看。