书签
下文提及的书都可免费下载。
文化
书格
中国哲学书电子化计划
杨卡
:关于杨卡的一切(俄语);
Magazine Hall
:俄罗斯文学杂志集;
ERGO PROXY SUM
:动画《死亡代理人》中的典故、背景知识(俄语);
L A I N
:关于 lain 的艺术站点;
万民书社
:孩子们,你们的妈妈叫什么?
Библиотека
:俄语图书馆;
Авторский Комикс
:俄语漫画;
Wisdom Library
:智慧宫,有大量关于印度古典哲学的材料;
Low Tech Magazine
:低科技杂志,探讨“过时”科技对可持续发展能否作出贡献(文化考古);
neverendingbooks
:看起来像是数学文化史;
AMS Notice:虽然 AMS 网站一直不好使,但是 pdf 还是能下的:
https://www.ams.org/notices/年月日/年月日FullIssue.pdf
;
MIT 公开课系列:
拉美近代史
,有阅读材料、课程表;
苏俄史
,有阅读材料、课程表;
语言学
,有阅读材料、课程表并录像;
数学
科大孙天阳
:本科数学题、笔记;
王作勤
:拓扑、微分几何;
2023 科大实分析
:殷浩的讲义值得一看;
John L. Bell
:有许多关于元数学的资料;
George Mark Bergman
:
An Invitation to General Algebra and Universal Constructions
的作者;
Timothy Y. Chow’s homepage
:
A Beginner’s guide to forcing
的作者;
Tom de Jong
:诺丁汉的博士,为 Midland Graduate School 著有
Domain theory
和
Category Realizability
;
Matilde Marcolli
:修过古典学的语言学家、数学家、达达主义者。网站上有计算语言学资料;
Steve Awdoey
:范畴逻辑讲义;
Amar Hadzihasanovic
:他的范畴论讲义看起来不错,第二讲就引入了 Bicategory,还讲了线图 (String diagram)。
Jacob Lurie
:范畴逻辑;
遗忘的左伴随
:很厉害的同学,有关于平展上同调的讲义;
Birgit Richter
:主页上有书
From Categories to Homotopy
及代数拓扑课程,有深度;
Anush Tserunyan
:亚美尼亚人,主页有描述集合论、数理逻辑的讲义;
Andrew Marks
:主页有集合论、计算理论的讲义,看起来十分现代;
John Baez 的应用范畴论
:应用范畴论课程;
Keith Conrad’s Blurbs
:极好的学习材料,涵盖群、环、几何;
Algebra Topology 2016 - MIT
:mit 的代数拓扑;
Jesper Grodal
: 用范畴论讲了些代数拓扑;
Izak (Ieke) Moerdijk
:
Sheaves in Geometry and Logic
的作者,网页中有同调代数、同伦论的资料;
Resources for homotopy theory and K-theory
:如其名,有同伦论、K 理论相关的材料。
Charles Rezk
:主页内有准范畴(quasi category)讲义,声称只需要基本的范畴论知识即可阅读。另外,他还组织了一个关于代数拓扑的
discord 频道
。
Ivan Di Liberti
:有数理逻辑的许多课程,还有推荐书单,内容十分齐备,囊括经典四论、范畴逻辑等等。
verbit 的微分几何
:俄式讲义,内容很丰富,第一讲就提到了层。
Tommaso Moraschini
:有代数逻辑的讲义。
Lars Hesselholt
:在名古屋大学任教的丹麦人,有表示论讲义(看着有几个交换图,感觉不错)。
经典力学笔记
:速通大学物理吧!
一些有意思的文章
:某人记录了一些论文,看着挺有意思。
Bodirsky
:模型论讲义。
丁一文
:数论讲义(可以作为 serre 的参考)
MIT 椭圆曲线
:现在已经学了复分析,可以读了(据说课上还会用到 sage,顺便一起学了)
Дмитри Повлов
:有极好的同伦论、范畴论讲义,迅速介绍了单纯集、模型范畴,省去不必要的废话,必须得读啊!(另外,他还有一份给数学家的 git 教程)
Lectures on the Geometry of Manifolds - Liviu I. Nicolaescu
:看起来很不错的微分几何讲稿。
Real not Complex
:数学资源库,搜集了各种讲义;
Matthew R. Ballard
:用 lean 来学习密码学、导出范畴。
计算机
CS 6120
:康奈尔的编译器课,适合自学;
William Gasarch’s Computability
:计算理论,有许多补充内容,值得一看;
UTah cs3520
:编译器;
Adam Chlipala
:在 MIT 做编程语言理论的教授,主要通过 Coq 讲形式化验证;
Constructive Logic
:CMU 的构造逻辑讲义;
Gert Smolka
:著有
Modeling and Proving in Computational Type Theory
及一本 OCaml 教程;
Carlo Angiuli
:著有
Modern Dependent Types
,回答了很多关于依赖类型论的问题;
Neil D. Jones
:可计算性讲义;
CS 152
:哈佛的编程语言理论;
Theory of Computation
:mit 的计算理论;
JHU pl
:jhu 的 pl 课,里面有本书,看起来不错;
[CS 144]:斯坦福的网络课(也许能用来入门 C++?);
MGS 2021 - 单子
:单子与计算;
游戏
YGOPro 233 服
、
萌卡 YGOPro 社区
:游戏王;
NES Ninja
:NES 游戏;
Yume wiki
:梦日记百科;
梦日记中文站
博客
Henrize
:十字街站长博客;
田泽禹
:好人;
杨丕业
:很久没更新了;
Wang weijia
:用世界语写博客的神人,在巴黎高师读数学;
顾犇
:奇人,本是学数学的,现在做图书馆学,在这里看到过《通天塔图书馆》;
工具
quiver
:在线画交换图;
Temp Email
:临时邮箱;
Temp files store
:存放临时文件;
Mozhi
:多引擎翻译;
Wolfree
:快速访问 Wolfram;
Send
:传文件;
Jitsi
:快速线上会议,无须登录
DoH 推荐
:DoH 汇总,最后更新于 2024 年 12 月 6 日。
吉大校园网之窗
语言
字統
古今文字集成
叶典
中华全国世界语协会