用户贡献
- 2023 年 10 月 2 日 (一) 16:50 差异 历史 +6 变量 不定积分变量过于神秘，改成定积分再加个自由变量对比
- 2023 年 9 月 23 日 (六) 14:40 差异 历史 0 讲义:抽象代数入门/前置 当前
- 2023 年 9 月 23 日 (六) 14:39 差异 历史 +1,131 N 讲义:抽象代数入门/群论/定义与例子 创建页面, 并添加内容 “\begin{definition} 给定集合 $G$, 如果有二元运算 $m : G \times G \to G$ (常写作乘法), 一元运算 $i : G \to G$ (称为\textbf{逆元}, 常写…” 当前
- 2023 年 9 月 23 日 (六) 14:25 差异 历史 +74 讲义:抽象代数入门/preamble 当前
- 2023 年 9 月 23 日 (六) 11:17 差异 历史 +3,375 N 讲义:抽象代数入门/前置 创建页面, 并添加内容 “== 记号 == 在小学时, 三种括号 $(), [], \{\}$ 都表达修改运算优先级的含义. 然而随着数学概念的增加, 使用三种记号表达相…”
- 2023 年 9 月 23 日 (六) 00:01 差异 历史 +33 N 讲义:抽象代数入门/preamble 创建页面, 并添加内容 “\newcommand{\Cat}[1]{\textsf{#1}}”
- 2023 年 9 月 22 日 (五) 23:58 差异 历史 +2 讲义:抽象代数入门 当前
- 2023 年 9 月 22 日 (五) 22:22 差异 历史 +193 N 讲义:抽象代数入门 创建页面, 并添加内容 “(...) 笔记 ==* 前言 == \begin{structure} \subpage[0]{前置知识} \subpage{群论} \subsubpage{定义与例子} \subpage{环论} \subpage{域论} \sub…”
- 2023 年 9 月 20 日 (三) 11:37 (差异 | 历史) . . +2 . . 讨论室:学术 上的 求助一道集合论的题
- 2023 年 9 月 17 日 (日) 15:10 (差异 | 历史) . . +12 . . 讨论:范畴等价 上的 引言中说范畴等价是范畴的范畴 Cat 中的同构，贞德吗？
- 2023 年 9 月 14 日 (四) 21:35 差异 历史 +6 m 拓扑学 当前
- 2023 年 9 月 6 日 (三) 02:02 (差异 | 历史) . . +137 . . 讨论:最小自然数原理 上的 关于Master的修改证明的一个疑问?
- 2023 年 9 月 6 日 (三) 00:13 (差异 | 历史) . . +8 . . 讨论:最小自然数原理 上的 关于Master的修改证明的一个疑问?
- 2023 年 9 月 6 日 (三) 00:13 (差异 | 历史) . . +9 . . 讨论:最小自然数原理 上的 关于Master的修改证明的一个疑问?
- 2023 年 9 月 5 日 (二) 21:12 (差异 | 历史) . . +23 . . 讨论:最小自然数原理 上的 关于Master的修改证明的一个疑问?
- 2023 年 9 月 5 日 (二) 13:34 差异 历史 +578 m Gödel 不完备性定理 排版，\# 修改成算符 当前
- 2023 年 9 月 4 日 (一) 14:39 差异 历史 +35 m 用户:Trebor/Normal Forms in Cubical Type Theory 当前
- 2023 年 9 月 3 日 (日) 23:30 差异 历史 +9 m 用户:Trebor/Normal Forms in Cubical Type Theory
- 2023 年 9 月 3 日 (日) 23:29 差异 历史 +213 m 用户:Trebor/Normal Forms in Cubical Type Theory
- 2023 年 9 月 3 日 (日) 17:36 差异 历史 +532 用户:Trebor/Normal Forms in Cubical Type Theory
- 2023 年 9 月 3 日 (日) 17:27 差异 历史 +56 用户:Trebor 当前
- 2023 年 9 月 3 日 (日) 16:58 差异 历史 +1,051 用户:Trebor/Normal Forms in Cubical Type Theory
- 2023 年 9 月 3 日 (日) 16:29 差异 历史 -4 m 用户:Trebor/Normal Forms in Cubical Type Theory
- 2023 年 9 月 3 日 (日) 16:28 差异 历史 +3,808 N 用户:Trebor/Normal Forms in Cubical Type Theory 创建页面, 并添加内容 “\english \newcommand{\type}{\mathrel{\textsf{type}}} \newcommand{\normal}{\mathrel{\color{blue}{:_{\textsf{nf}}}}} \newcommand{\normaltype}{\mathrel{\color{blu…”
- 2023 年 8 月 31 日 (四) 02:19 (差异 | 历史) . . +25 . . N 讨论:特征函数 (概率论) 上的 消歧义
- 2023 年 8 月 22 日 (二) 14:26 差异 历史 +1,466 类型论–范畴论–逻辑学类比
- 2023 年 8 月 22 日 (二) 12:39 差异 历史 -3 类型论–范畴论–逻辑学类比 撤销Trebor（讨论）的版本19719 标签: 撤销
- 2023 年 8 月 22 日 (二) 12:37 差异 历史 +3 m 类型论–范畴论–逻辑学类比 修正错误
- 2023 年 8 月 8 日 (二) 21:55 差异 历史 +3 m 子对象分类子
- 2023 年 8 月 8 日 (二) 18:14 差异 历史 -2 子对象分类子 统一术语
- 2023 年 8 月 8 日 (二) 18:10 差异 历史 +569 位象 当前
- 2023 年 8 月 4 日 (五) 22:23 差异 历史 -9 m 用户:Trebor/高阶逻辑规则 当前
- 2023 年 8 月 4 日 (五) 22:17 差异 历史 +39 m 用户:Trebor
- 2023 年 8 月 4 日 (五) 22:16 差异 历史 +4,733 N 用户:Trebor/高阶逻辑规则 创建页面，并添加内容 “一套构造性高阶逻辑的规则，它自洽(consistent)、完备(complete)，并且有效(effective)。 == 语法 == \begin{definition} 高阶逻辑的…”
- 2023 年 7 月 23 日 (日) 11:31 差异 历史 -6 Radon–Nikodym–Lebesgue 定理 撤销Trebor（讨论）的版本19336 当前 标签: 撤销
- 2023 年 7 月 23 日 (日) 11:31 差异 历史 +6 m Radon–Nikodym–Lebesgue 定理 en-dash （待移动）
- 2023 年 7 月 16 日 (日) 12:43 差异 历史 +9 m 汇编 当前
- 2023 年 7 月 15 日 (六) 20:27 差异 历史 -188 m 汇编
- 2023 年 6 月 20 日 (二) 16:12 (差异 | 历史) . . +73 . . 讨论室:香蕉空间 上的 有没有下载tex源码和讲义总tex功能？
- 2023 年 6 月 4 日 (日) 12:22 差异 历史 -631 归纳类型 撤销Trebor（讨论）的版本18886 标签: 撤销
- 2023 年 6 月 4 日 (日) 12:14 差异 历史 +631 归纳类型
- 2023 年 6 月 4 日 (日) 01:15 差异 历史 +4 归纳类型 修改不准确定义
- 2023 年 6 月 4 日 (日) 01:14 差异 历史 +14 归纳类型 删除错误
- 2023 年 5 月 28 日 (日) 21:41 差异 历史 +1,009 有效意象
- 2023 年 5 月 28 日 (日) 02:07 差异 历史 +35 用户:Ice1000/神谕模态
- 2023 年 5 月 10 日 (三) 11:43 差异 历史 -30 m 正规性 (类型论)
- 2023 年 5 月 1 日 (一) 02:07 差异 历史 +1,113 N 共尾函子 创建页面，并添加内容 “共尾函子是偏序的共尾子集的推广. 若 \(F : \mathcal D' \to \mathcal D\) 共尾, 则这两种形状的 图表之余极限的概念…” 当前
- 2023 年 4 月 24 日 (一) 16:08 (差异 | 历史) . . +25 . . 讨论室:香蕉空间 上的 这里是否是一种渲染错误呢
- 2023 年 4 月 18 日 (二) 10:41 差异 历史 -6 子对象分类子
- 2023 年 4 月 17 日 (一) 13:24 差异 历史 +2,839 N 代数理论 创建页面，并添加内容 “在泛代数中, \textbf{代数理论}指的是对一类代数对象的描述. 例如群公理(或者说群的定义)构成代数理论. 具体的群…” 当前