跳转至
FFox's Notes
系列文章
正在初始化搜索引擎
Home
Series
Miscellany
Quick Notes
Daily Notes
FFox's Notes
Home
Home
更新记录
友链
待办事项
Series
Series
写给计算机系学生的代数
写给计算机系学生的代数
00 前言:关于代数、数学和计算科学
01 代数:古典之旅
01 代数:古典之旅
1.1 太极:群之前的故事
1.1 太极:群之前的故事
1.1.1 结合性:半群
1.2 乾坤:群论之初
1.2 乾坤:群论之初
1.2.1 鸟迹:基本架构
1.2.2 阶:从 Lagrange 到 Sylow
1.2.3 扩张:从群构造群
03 无穷:拓扑学方法
03 无穷:拓扑学方法
3.1 对象:拓扑空间
3.1 对象:拓扑空间
3.1.1 定义:一次闪光
04 符号:范畴论的抽象废话
04 符号:范畴论的抽象废话
4.1 导向:范畴、函子、自然变换
4.1 导向:范畴、函子、自然变换
None
4.1.1 宏观:基本定义
4.1.2 中观:描述性质
参考答案
参考答案
1.2.1 鸟迹:基本架构
Miscellany
Miscellany
Francis Bouceux - Some flavours of topos theory
Francis Bouceux - Some flavours of topos theory
第一讲 层拓扑斯
第四讲 拓扑斯的内逻辑
参考文献
Quick Notes
Quick Notes
Theorem Proving in Lean 4
Computer Vision
Computer Vision
01 Image Formation
03 Image Matching & Motion Estimation
05 Structure from Motion
06 Depth Estimation & Dense Reconstruction
07 Recognition
08 3D Deep Learning
09 Computational Photography
10 Image-based Rendering
Daily Notes
Daily Notes
7/14 单子论和 Beck 单子性定理
7/15 格论和 Birkhoff 对偶
7/16 用格论研究拓扑空间:Locale and Frame
8/1 一个简单的 Coq 车祸课程:一阶逻辑
系列文章
¶
约 37 个字
这里会放一些比较大的系列笔记和专栏,目前在更新:
写给计算机系学生的代数
回到页面顶部