今天share一个多伦多都会大学（本来叫Ryerson大学）的教师Mikhail Soutchanski的算法和可计算性理论课（Algorithm and Computability）的课程介绍页面，主要还是其页面上列的数理逻辑和可计算性方面的书籍。数理逻辑是计算机科学最正统的基础课。随着越来越多的形式化方法在产业里开始崭露头角，这门课也将变得越来越重要。

++++

但是学好不容易，相当不容易，博览群书几乎是必须的。这也是经常share一些这类内容的原因。

这类数学应该会让物理电子通讯领域过来的计算机从业者很不适应，因为在这些专业领域的基础课上，不是特别强调教材，大多数情况下都有很多的选择而且是看哪本都行。但数学和作为应用数学的计算机科学并非如此。

在非常大的意义上，这是因为数学不是一门实验科学，它的概念是人的思维构造出来的，如何构造具有随意性，解释也可能不唯一；从这个角度去看，计算机工程里玄学流派纷呈，也就更容易理解一些。但不管怎么说计算机科学是有数学基础的，虽然能很好的回答的问题不多，但良好的数学基础仍然能让你看出来哪些工程流派纯粹是经验主义和玄学，哪些虽然现在还是稚嫩和粗糙的，但是有真正的基础，是insightful的。只有那些有基础和insight的方向才真正值得努力。年复一年的重写相同的东西，只是忙碌，难称进步。

https://t.cn/A6oAgNTf

#日本留学# #日本留学生自救指南# #计算机考研#

[酷]有同学问：中介说日本直考上好的国公立大学没有想像中的困难，因为日本读研的人不多，而且国内去读的多是商科，读计算机竞争不大，很有优势，这是真的吗？

[举手]前一阵子还碰到一个国内考研失败的例子，这位同学考研两年，通过努力终于考了第二名，但是学校就录取一个，所以他还是失败了。
我听完还是很惊讶的，就...已经这么恐怖了么？
所以说，困难与否是个相对论，如果跟国内考硕士相比的话，那日本确实竞争压力小一些，毕竟人少啊，而且可以同时报考多所大学。
但是说，考上日本好的国公立大学肯定也不简单。目前日本的政策是大量招收留学生的，30万留学生政策前几天也是刚又公布“继续增加”。所以之后随着越来越多的学生来日本留学，大学的录取标准肯定会水涨船高的，这是一个大方向，再加上计算机作为日本的强势专业，就业形势比较好，也是留学生眼中的热门专业，所以竞争压力也要比其他理工科更大一些，如果你不是学霸级别的话，还是建议通过语言学校的方式赴日参加考试，或者在国内学得差不多再申研究生预科要好一些~

#2022特斯拉AI日#
特斯拉作为一家硬核的科技公司
超级计算机Dojo将会引领行业发展
算力是自动驾驶的根本，高效率的芯片，可以更好地为完全自动驾驶服务[加油]

所以我们不对设计设限，打破传统集成的物理界限，并持续突破极限[拳头]
科技美好的将来，正在我们眼前徐徐展开[举手]#特斯拉AIDay#

关注@特斯拉 并转发本条微博，评论区分享你对Dojo超级计算机的理解，抽取1位粉丝送上【Tesla AI Day 短袖T恤】[666]

ps：关注@特斯拉招聘 获取特斯拉热招职位及招聘活动信息！ https://t.cn/A6owM9vk