国际学校网,提供上海北京广州深圳国际学校招生及资讯信息!

关闭

首页 > 国际课程 > Alevel课程

A-level推荐书单CS计算机科学

网络

发布日期:2021-08-24 14:42:04

Computer Science,当下热门专业之一,以其丰富灵活的工作机会深受同学们喜欢。

不知道在看到这篇文章的小伙伴中,有没有对CS专业感兴趣的呢?

小编在此奉上书单一列,为有兴趣的小伙伴们开拓一下资源,为即将有兴趣的小伙伴们坚定一下兴趣。

【A-level】推荐书单,CS计算机科学

1Algorithmic Puzzles – Anany Levitin and Maria Levitin

【A-level】推荐书单,CS计算机科学 

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

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

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

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

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

它的中文译本叫“算法谜题”。但如果目的是为面试做准备,还是建议读英文原著,并且练习边思考边把解题思路大声说出来或者讲解给家人、朋友听。由于算法是计算机科学大部分面试题都一定会涉及到的,抽出时间来每天做一两个书中的题目会对计算机科学面试十分有帮助。如果觉得原著实体书价钱太贵的话,可以在amazon.co.uk或者amazon.com买kindle电子书版本看,便宜又方便。

2. The Logic Manual – Volker Halbach

【A-level】推荐书单,CS计算机科学

要想学好CS,训练好的逻辑思维必不可少,这本The Logic Manual是牛津大一第一个学期必修课‘introduction to logic’所用的课本,作者是牛津New College的哲学教授。虽然这本书会很偏向哲学,但却是极好的训练逻辑思考的读物,小伙伴们可以当做消磨时间,茶余饭后翻上几页。 

3. Computational Fairy Tales – Jeremy Kubica

【A-level】推荐书单,CS计算机科学 

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

【A-level】推荐书单,CS计算机科学

4. Logic in Computer Science: Modelling and Reasoning about Systems 

- Michael Huth and Mark Ryan

【A-level】推荐书单,CS计算机科学

这本书主要介绍了formal reasoning, 在第二版中更是增加了关于 SAT solvers, existential/universal second-order logic, micro-models, programming by contract 以及 total correctness的章节和扩展部分。Model-checking章节的覆盖范围也更广。章后的习题可以让学生熟练掌握基本的formal reasoning的验证方法。总的来说,是一本很好的入门逻辑和formal reasoning的书。

5. Logic for Computer Science and Artificial Intelligence - Ricardo Caferra

【A-level】推荐书单,CS计算机科学

这本书整合了计算机科学和人工智能的知识,就tableaux, resolution, Davis & Putnam methods, logic programming, unification 和 subsumption方面展开解读。同时对于 non-classical logics, 也有更详细的介绍。本书在于它会结合历史激发读者对于CS或AI的兴趣,同时大量的附加练习和详细的答案可以确保学生对书中读到的知识可以熟练应用。这本书非常适合没有数学及计算机科学相关背景知识,同时想对AI有整体了解的同学。

6. Introduction to Mathematical Logic - E Mendelson

【A-level】推荐书单,CS计算机科学

这本书主要讲解数学逻辑。这个版本包括的章节有:

1.propositional logic

2.first-order logic

3.first-order number theory,the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski

4.second-order logic

5.axiomatic set theory6.theory of computability

本书包含许多练习, 且附录中提供了详细的练习答案。对于自学的小伙伴来说绝对是个不错的选择。

7. Model Checking - E M Clarke Jr and D A Peled 

【A-level】推荐书单,CS计算机科学

这本书主讲模型检验。以finite state concurrent systems为模型,讲解了sequential circuit designs 和various communication protocols。对于不同的模型,以仿真,测试和演绎推理的方法进行了深入比较。同时还讨论了state space explosion问题和组件的交互系统。本书的特点在于,它在提供将讲解和实践的同时,涵盖了当前学术界最先进的技术和算法。有一定CS基础,并有兴趣做深入学术学习的同学的可以选择读这本书。

【A-level】推荐书单,CS计算机科学

这次CS的书单分享到这里就结束啦。

想要学习CS专业的小伙伴们,不妨提前找有兴趣的书籍读一读,相信一定能让你对CS有更深的了解。亲爱的们,悄咪咪告诉你们,CS的基础是数学,数学学得好的话,以后学习算法也更好上手!

文章转载自:【网络】

©特别声明,本站遵循行业规范,任何转载的稿件都会明确标注作者和来源,如果来源或作者有误,请及时联系我们更正.

AP宏观经济学培训-ap宏观经济难吗

AP宏观经济学培训-ap宏观经济难吗

AP宏观经济学是一门入门级的大学课程,侧重于适用于整个经济体系的原则。AP宏观经济学培训,旨在解决你学习过程中的问题,同步跟进学校进度,课后查缺补漏,提升自身能力。 ……[查看]

2023-02-15

AP化学培训班-ap化学备考-AP化学课程

AP化学培训班-ap化学备考-AP化学课程

AP,全称Advanced Placement,中文名称为美国大学预修课程,适用于全球计划前往美国读本科的高中生。AP化学培训班,全程辅导,查缺补漏AP化学课程疑难杂症,轻松应对AP考试。 ……[查看]

2023-02-08

英国alevel物理课程-优选alevel物理辅导-alevel物理补习

英国alevel物理课程-优选alevel物理辅导-alevel物理补习

ALevel物理辅导栏目,根据多年海外留学生辅导经验,整理ALevel物理辅导关资讯alevel物理补习相关问题,帮助更多海内外留学生顺利完成学业。 ……[查看]

2023-01-06

美国高中生物课程培训-美高生物课很难吗

美国高中生物课程培训-美高生物课很难吗

美国高中生物课程培训,针对学习美国高中生物的学生提供同步辅导,教学,为学生后续学习打下基础,涵盖内容为:细胞、结构、生态学及植物等,解决大部分学生生物学习中 ……[查看]

2023-01-04

在线咨询

在线咨询

021-63526630

在线咨询