分类摘自:Fall 2024 Course 6: Electrical Engineering and Computer Science (mit.edu)
Programming & Software Engineering
6.100 A Introduction to Computer Science Programming in Python
分类摘自:Fall 2024 Course 6: Electrical Engineering and Computer Science (mit.edu)
6.100 A Introduction to Computer Science Programming in Python
以下为 MIT 计算机专业的数学课程学习路径和笔记汇总,建立的依据是 Math Major Roadmaps (mit.edu),包含以下四个方向:
- 计算机科学
- 计算机科学与工程
- 统计与数据科学
- 组合学
本目录下包含本人学习 MIT 数学相关课程的学习路径、相关书籍的阅读笔记、课程笔记、以及习题解答,外带一些碎碎念,除 Ron Larson 微积分笔记和公式总结外,其他笔记使用 Latex 编写。
所有笔记的 pdf 在 Salvely/math-notes: Mathematics notes written in latex (github.com)
一开始我是想用 markdown
综合一点点的 latex 语法来做数学笔记,但是后来发现在使用 $$
和 $$$$
符号插入数学公式时,在生成的博文中格式经常乱掉。因此我在后面的笔记中,选择使用 latex 完成,pdf 笔记附后。
最近在重新学习数学、物理、经济学和计算机科学。一般在学习一门课程之前,我会在知乎上查找“xxx 课程教材/书籍”,或者去豆瓣进行搜索。但是问题在于:
因此,我萌生了一个想法,就是构造一个教材/书籍推荐网,可以有各个方向/各个学科的经典教材/
书籍推荐,并不局限于课程。譬如前端学习、后端学习、分布式系统学习等不同方向的教材或书籍,也可以放在其中,以帮助更多像我这样有需要的同学。
因为很多小的软件使用细节,无需专门为其撰写一篇博文,因此都分门别类放在这里
Get your hands dirty!
为什么想实现一个Prolog
解释器呢?因为我最近在学离散数学,而离散数学里面涉及到非常多的数据结构和布尔代数、命题、谓词逻辑、证明等。我觉得如果用计算机实现命题的自动推导会很有趣,而Prolog
又是一种提供了相关功能的语言。我是个闲不住的人,而且喜欢造轮子。如果只是在学习数学、而不动手写点代码的话,我会觉得非常无聊。这是我的一个小作品,我的软件工程和数据结构能力尚不那么成熟,可能会造出一坨屎,但是我愿意去尝试。该解释器采用循序渐进实现Prolog
语法的形式,便于读者学习。
本项目是一个小型的推理引擎,使用自定义语言
tie
,该引擎的使用方法和tie
语言语法定义可参考小型推理引擎语言tie使用方法 & 语法定义。该项目为离散数学学习过程中的实践项目,离散数学笔记可参考Rosen 《离散数学及其应用》 阅读笔记