跳至主要內容
Salvely's Blog

Salvely's Blog

——「」

关于本站
关于本站
这里有关于站点的详细介绍
友情链接
友情链接
(●´∀`●)ノ
留言板
留言板
欢迎来留言哦~
项目
项目
有趣的内容
我的数学旅程——基于MIT Roadmap

以下为 MIT 计算机专业的数学课程学习路径和笔记汇总,建立的依据是 Math Major Roadmaps (mit.edu),包含以下四个方向:

  • 计算机科学
  • 计算机科学与工程
  • 统计与数据科学
  • 组合学

本目录下包含本人学习 MIT 数学相关课程的学习路径、相关书籍的阅读笔记、课程笔记、以及习题解答,外带一些碎碎念,除 Ron Larson 微积分笔记和公式总结外,其他笔记使用 Latex 编写。


Salvely原创大约 15 分钟
mkdocs-material 网站搭建与配置 & github pages 发布 & 搜索引擎收录

前言

最近在重新学习数学、物理、经济学和计算机科学。一般在学习一门课程之前,我会在知乎上查找“xxx 课程教材/书籍”,或者去豆瓣进行搜索。但是问题在于:

  1. 知乎上的回答动辄几千条,其中有很多重复的回答,但是也有很多新鲜的内容。如果只看前面几个回答,就会感觉对教材收集的不全,没有办法体会不同教材对同一门知识的不同理解。但是对于知乎上的推荐,又很难做到对其进行整理和归类。
  2. 豆瓣上的书籍,部分小众书籍质量很高,但是没有评分。在书籍列表中,有评分的书籍和没有评分书籍混杂在一起,无法区分优劣。

因此,我萌生了一个想法,就是构造一个教材/书籍推荐网,可以有各个方向/各个学科的经典教材/
书籍推荐,并不局限于课程。譬如前端学习、后端学习、分布式系统学习等不同方向的教材或书籍,也可以放在其中,以帮助更多像我这样有需要的同学。


Salvely原创大约 17 分钟mkdocsmkdocs-materialgiscus
软件日常使用小贴士

因为很多小的软件使用细节,无需专门为其撰写一篇博文,因此都分门别类放在这里

TIM

  1. 修改热键:登录 TIM -> 左下角三颗横线 -> 设置 -> 基本设置一栏 -> 热键 -> 设置热键 -> 选择热键,按键盘直接设置

Salvely原创小于 1 分钟
Prolog解释器实现记录(一)

前言

Get your hands dirty!

为什么想实现一个Prolog解释器呢?因为我最近在学离散数学,而离散数学里面涉及到非常多的数据结构和布尔代数、命题、谓词逻辑、证明等。我觉得如果用计算机实现命题的自动推导会很有趣,而Prolog又是一种提供了相关功能的语言。我是个闲不住的人,而且喜欢造轮子。如果只是在学习数学、而不动手写点代码的话,我会觉得非常无聊。这是我的一个小作品,我的软件工程和数据结构能力尚不那么成熟,可能会造出一坨屎,但是我愿意去尝试。该解释器采用循序渐进实现Prolog语法的形式,便于读者学习。


Salvely原创大约 2 分钟