主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

2023年9月10日 (日) 17:57 Gsxab 留言贡献创建了页面广义迭代幂次（创建页面，内容为“分类:数的运算 {{InfoBox |name=广义迭代幂次 |eng_name=pentation |aliases=超-5运算,hyper-5 }} '''广义迭代幂次'''('''pentation''')是一个二元运算。广义迭代幂次运算是第5级超运算，也就是说，自然数上的广义迭代幂次运算可以看作重复自然数的幂塔运算，即“将一个数不断重复求以自身为底的幂塔”的简写。注意由于幂塔运算不满足交换律，因此不…”）
2023年9月10日 (日) 17:50 Gsxab 留言贡献创建了页面幂塔（创建页面，内容为“分类:数的运算 {{InfoBox |name=幂塔 |eng_name=tetration |aliases=超-4运算,hyper-4,超幂,迭代幂次 }} {{InfoBox |name=底数 |eng_name=base }} {{InfoBox |name=高度 |eng_name=height }} {{InfoBox |name=幂 |eng_name=power |aliases=方 }} '''幂塔'''/'''迭代幂次'''('''tetration''')是一个二元运算。幂塔运算是第4级超运算，也就是说，自然数上的幂塔运算可以看作重复自然数的乘方运算…”）
2023年9月10日 (日) 17:32 Gsxab 留言贡献创建了页面乘方（创建页面，内容为“分类:数的运算 {{InfoBox |name=乘方 |eng_name=exponentiation }} {{InfoBox |name=底数 |eng_name=base }} {{InfoBox |name=指数 |eng_name=exponent }} {{InfoBox |name=幂 |eng_name=power |aliases=方 }} '''乘方'''('''exponentiation''')是一个二元运算。乘方运算是第3级超运算，也就是说，自然数上的乘方运算可以看作重复自然数的乘法运算，即“将一个数不断重复乘以自身”的简写…”）
2023年9月9日 (六) 18:00 Gsxab 留言贡献创建了页面模板:小阶数群（创建页面，内容为“{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=2 style='border-bottom-width:2px' | 小群 |- ! 2 | 二阶循环群 <math>C_2</math> |- ! 3 | 三阶循环群 <math>C_3</math> |- ! 4 | 四届循环群 <math>C_4</math>、克莱因4群 <math>K_4</math> |- ! 5 | 五阶循环群 <math>C_5</math> |- ! 6 | 六阶循环群 <math>C_6</math> 、六阶二…”）
2023年9月9日 (六) 17:48 Gsxab 留言贡献创建了页面三阶群（创建页面，内容为“分类:群论 {{非标准称呼}} 只有三个元素的集合上，封闭、有幺元、有逆元的二元运算，在固定幺元后只有一个，因此每个三元素集上有同构意义下唯一的群。全部三阶群在同构意义下唯一，一般也被称为 3 阶循环群。 == 举例 == * 等边三角形绕中心旋转，不动、 <math>\frac{1}{3}</math> 周、 <math>\frac{2}{3}</math> 周。 * 模 3 加法群 <math>\mathbb{…”）
2023年9月9日 (六) 17:16 Gsxab 留言贡献创建了页面C2 （重定向页面至二阶群）标签：新重定向
2023年9月9日 (六) 17:14 Gsxab 留言贡献创建了页面异或（重定向页面至互斥析取）标签：新重定向
2023年9月9日 (六) 16:46 Admin 留言贡献删除页面从P开始的大写拉丁字母（内容为：“分类:常用字母序列使用本条目的记号，字母序列为从 P 开始的大写拉丁字母。即： * <math>P</math> * <math>Q</math> * <math>R</math> * <math>S</math> * <math>T</math> {{ISOBasicLatinAlphabet}}”，唯一贡献者是“Gsxab”（讨论））
2023年9月9日 (六) 16:45 Admin 留言贡献删除页面F开始的小写拉丁字母序列（内容为：“#重定向从F开始的小写拉丁字母序列”，唯一贡献者是“Gsxab”（讨论））
2023年9月9日 (六) 15:01 Gsxab 留言贡献创建了页面分类:常用字母序列（创建页面，内容为“分类:记号”）
2023年9月9日 (六) 13:33 Gsxab 留言贡献创建了页面从ϕ开始的小写希腊字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 Φ 开始的小写希腊字母。即： * <math>\phi</math> 或 <math>\varphi</math> * <math>\psi</math> * <math>\chi</math> * （<math>\omega</math>） {{GreekAlphabet}}”）
2023年9月9日 (六) 13:31 Gsxab 留言贡献创建了页面从σ开始的小写希腊字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 Σ 开始的小写希腊字母。即： * <math>\sigma</math> * <math>\tau</math> {{GreekAlphabet}}”）
2023年9月9日 (六) 13:24 Gsxab 留言贡献创建了页面从λ开始的小写希腊字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 Λ 开始的小写希腊字母。即： * <math>\lambda</math> * <math>\mu</math> * <math>\nu</math> {{GreekAlphabet}}”）
2023年9月9日 (六) 13:23 Gsxab 留言贡献移动页面从R开始的大写拉丁字母序列至从R开始的小写拉丁字母序列
2023年9月9日 (六) 13:18 Gsxab 留言贡献创建了页面小写希腊元音字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为小写希腊字母元音。即： * （<math>\alpha</math>） * <math>\epsilon</math> * <math>\eta</math> * <math>\iota</math> * （<math>\omicron</math>） * （<math>\upsilon</math>） {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 13:14 Gsxab 留言贡献创建了页面小写希腊字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为小写希腊字母。即： * <math>\alpha</math> * <math>\beta</math> * <math>\gamma</math> * <math>\delta</math> * <math>\epsilon</math> * <math>\zeta</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:53 Gsxab 留言贡献创建了页面从X开始的大写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 X 开始的大写拉丁字母。即： * <math>X</math> * <math>Y</math> * <math>Z</math> * <math>W</math> 或 <math>A</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:53 Gsxab 留言贡献创建了页面从X开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 X 开始的小写拉丁字母。即： * <math>x</math> * <math>y</math> * <math>z</math> * <math>w</math> 或 <math>a</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:49 Gsxab 留言贡献创建了页面从U开始的大写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 U 开始的大写拉丁字母。即： * <math>U</math> * <math>V</math> * <math>W</math> * （<math>X</math>） * （<math>Y</math>） * （<math>Z</math>） {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:46 Gsxab 留言贡献创建了页面从U开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 U 开始的小写拉丁字母。即： * <math>u</math> * <math>v</math> * <math>w</math> * （<math>x</math>） * （<math>y</math>） * （<math>z</math>） {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:41 Gsxab 留言贡献创建了页面从R开始的大写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 R 开始的大写拉丁字母。即： * <math>R</math> * <math>S</math> * <math>T</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:35 Gsxab 留言贡献创建了页面从P开始的大写拉丁字母（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 P 开始的大写拉丁字母。即： * <math>P</math> * <math>Q</math> * <math>R</math> * <math>S</math> * <math>T</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:34 Gsxab 留言贡献创建了页面从P开始的大写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 P 开始的大写拉丁字母。即： * <math>P</math> * <math>Q</math> * <math>R</math> * <math>S</math> * <math>T</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:24 Gsxab 留言贡献移动页面F开始的小写拉丁字母序列至从F开始的小写拉丁字母序列
2023年9月9日 (六) 12:21 Gsxab 留言贡献创建了页面从G开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 G 开始的小写拉丁字母；且为避免与序数单位 i 混淆，不包含字母 I 。即： * <math>g</math> * <math>h</math> * （<math>j</math>） * <math>k</math> * <math>l</math> * <math>m/math> * <math>n</math> * <math>p</math> * <math>q</math> * <math>r</math> * <math>s</math> * <math>t</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 12:20 Gsxab 留言贡献创建了页面F开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 F 开始的小写拉丁字母；且为避免与序数单位 i 混淆，不包含字母 I 。即： * <math>f</math> * <math>g</math> * <math>h</math> * （<math>j</math>） * <math>k</math> * <math>l</math> * <math>m/math> * <math>n</math> * <math>p</math> * <math>q</math> * <math>r</math> * <math>s</math> * <math>t</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 00:39 Gsxab 留言贡献创建了页面从L开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 L 开始的小写拉丁字母；且为避免与数字 0 混淆，不包含字母 O 。即： * <math>l</math> * <math>m</math> * <math>n</math> * <math>p</math> * <math>q</math> * <math>r</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 00:36 Gsxab 留言贡献创建了页面从K开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 K 开始的小写拉丁字母；且为避免与数字 0 混淆，不包含字母 O 。即： * <math>k</math> * <math>l</math> * <math>m</math> * <math>n</math> * <math>p</math> * <math>q</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 00:32 Gsxab 留言贡献创建了页面从P开始的小写拉丁字母序列（创建页面，内容为“分类:常用字母序列使用本条目的记号，字母序列为从 P 开始的小写拉丁字母。即： * <math>p</math> * <math>q</math> * <math>r</math> * <math>s</math> * <math>t</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 00:26 Gsxab 留言贡献创建了页面从I开始的小写拉丁字母序列（创建页面，内容为“使用本条目的记号，字母序列为从 I 开始的小写拉丁字母；且为避免与数字 0 混淆，不包含字母 0 ，即： * <math>m</math> * <math>n</math> * <math>p</math> * <math>q</math> * <math>r</math> * <math>s</math> * <math>t</math> {{ISOBasicLatinAlphabet}}”）
2023年9月9日 (六) 00:14 Gsxab 留言贡献创建了页面从M开始的小写拉丁字母序列（创建页面，内容为“使用本条目的记号，字母序列为从 M 开始的小写拉丁字母；且为避免与数字 0 混淆，不包含字母 O ，即： * <math>m</math> * <math>n</math> * <math>p</math> * <math>q</math> * <math>r</math> * <math>s</math> * <math>t</math> {{LatinAlphabet}}”）
2023年9月9日 (六) 00:09 Gsxab 留言贡献创建了页面小写拉丁字母序列（创建页面，内容为“使用本条目的记号，字母序列为小写拉丁字母的，且为避免与数字 0 混淆，不包含字母 o ；为与序数单位 i 混淆，经常不包含字母 i ，有时也考虑到 i 、 j 常用作下标而不包含 j 。即： * <math>a</math> * <math>b</math> * <math>c</math> * <math>d</math> * <math>e</math> * <math>f</math> * <math>g</math> * <math>h</math> * （<math>j</math>） * <math>k</math> * <math>l</math> * <math>m</math> * <math>n<…”）
2023年9月9日 (六) 00:06 Gsxab 留言贡献创建了页面大写拉丁字母序列（创建页面，内容为“使用本条目的记号，字母序列为大写拉丁字母的，且为避免与数字 0 混淆，不包含字母 O ，即： * <math>A</math> * <math>B</math> * <math>C</math> * <math>D</math> * <math>E</math> * <math>F</math> * <math>G</math> * <math>H</math> * <math>J</math> * <math>K</math> * <math>L</math> * <math>N</math> * <math>P</math> * <math>Q</math> * <math>R</math> * <math>S</math> * <math>T</math>”）
2023年9月8日 (五) 17:55 Gsxab 留言贡献创建了页面基本语义定义（重定向页面至塔司基真理定义#真理定义（命题逻辑））标签：新重定向
2023年9月8日 (五) 04:44 Gsxab 留言贡献创建了页面正整数（创建页面，内容为“分类:数系 {{InfoBox |name=正整数 |eng_name=positive integer |aliases=counting number }} '''正整数'''('''positive number''')指非零的自然数，包括 1、2、3、……。 {{数系}}”）
2023年9月7日 (四) 16:17 Gsxab 留言贡献创建了页面自然数（创建页面，内容为“分类:数系 {{InfoBox |name=自然数 |eng_name=natural number |aliases=whole number }} '''自然数'''('''natural number''')指计数时或排序时的数字，包括 0、1、2、3、……。自然数与非负整数同义，包括0和正整数两部分。有的人使用这一术语时，可能不包括0，此时与正整数同义。被皮亚诺公理所公理化，是其最常见的解释。 {{数系}}”）
2023年9月7日 (四) 13:21 Gsxab 留言贡献创建了页面模板:四则运算（创建页面，内容为“ {| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%' |- ! colspan=4 style='border-bottom-width:2px' | 四则运算 |- | 加法 <math>+</math> | 减法 <math>-</math> | 乘法 <math>\times</math> | 除法 <math>\div</math> |}”）
2023年9月7日 (四) 06:24 Gsxab 留言贡献创建了页面乘法（创建页面，内容为“分类:数的运算 {{InfoBox |name=乘法 |eng_name=multiplicator }} {{InfoBox |name=乘数 |eng_name=factor |aliases=multiplier,因数,因子,factor }} {{InfoBox |name=被乘数 |eng_name=multiplicant }} {{InfoBox |name=积 |eng_name=product }} '''乘法'''('''multiplication''')是一个二元运算，也是四则运算之一。乘法运算是第2级超运算，也就是说，自然数上的乘法运算可以看作重复自然数的加法运算，即“…”）
2023年9月6日 (三) 19:46 Gsxab 留言贡献创建了页面加法（创建页面，内容为“分类:数的运算 {{InfoBox |name=加法 |eng_name=addition }} {{InfoBox |name=加数 |eng_name=term |aliases=addend,项,求和项,summand }} {{InfoBox |name=被加数 |eng_name=augend }} {{InfoBox |name=和 |eng_name=sum }} '''加法'''('''addition''')是一个二元运算，也是四则运算之一。加法运算是第1级超运算，也就是说，自然数上的加法运算可以看作重复自然数的后继运算，即“将一个数不断重复…”）
2023年9月2日 (六) 16:00 Gsxab 留言贡献创建了页面前趋（创建页面，内容为“{{InfoBox |name=前趋 |eng_name=predecessor }} '''前趋'''运算('''predecessor''' operation)是一元运算，取一个正整数的上一个自然数。 {{Operation |name=前趋 |symbol=<math>Pred(\bullet)</math> |latex=Pred() |operand=正整数 |operand_num=1 |result=自然数 |domain=<math>\mathbb{N}^*</math> |codomain=<math>\mathbb{N}</math> }} 前趋运算定义为后继运算的逆运算。前趋运算也可以被延拓到整数上，但一般不会…”）
2023年9月2日 (六) 15:22 Gsxab 留言贡献创建了页面穷举法（创建页面，内容为“分类:证明方法 {{InfoBox |name=穷举法 |eng_name=proof by exhaustion |aliases=分类证明,proof by cases,完全归纳法,complete induction,brute force method }} '''穷举法'''('''proof by exhaustion''')/'''完全归纳法'''('''complete induction''')，指通过把原命题拆解成有限的情况并分别证明，来证明原命题的一种方法。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>\forall t \phi(t/x)</math> 时…”）
2023年9月2日 (六) 15:08 Gsxab 留言贡献创建了页面逆否证法（创建页面，内容为“分类:证明方法 {{非标准翻译}} {{InfoBox |name=逆否证法 |eng_name=proof by contrapositive }} '''逆否证法'''('''proof by contrapositive''')，指通过证明原命题的逆否命题，来证明原命题的一种方法。对应的重言式是换质换位式。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>p \rightarrow q</math> 时，演绎 <math>\Gamma \vdash \lnot q \rightarrow \lnot p</math> 。根据换质换…”）
2023年9月2日 (六) 14:45 Gsxab 留言贡献创建了页面反证法（创建页面，内容为“分类:证明方法 {{InfoBox |name=反证法 |eng_name=proof by contradiction }} '''反证法'''('''proof by contradiction''')，指通过引入命题反面假设并演绎出矛盾，来证明原命题的一种方法。对应于自然演绎法中的否定消去( <math>\lnot</math> -elim)，对应的重言式是双重否定式。 == 描述 == 有假设集 <math>\Gamma</math> 要证明 <math>\phi</math> 时，引入新假设 <math>\lnot\phi</…”）
2023年9月2日 (六) 14:12 Gsxab 留言贡献创建了页面自然数良序原理（创建页面，内容为“分类:公理算术系统 {{非标准称呼}} '''自然数良序原理'''是良序原理在自然数上的版本。在皮亚诺公理中可以代替归纳原理。 == 描述 == 任意自然数的非空集都有最小元。”）
2023年9月2日 (六) 14:07 Gsxab 留言贡献创建了页面数学归纳法（创建页面，内容为“分类:证明方法 {{InfoBox |name=数学归纳法 |eng_name=mathematical induction }} '''数学归纳法'''('''mathematical induction''', '''MI''')，简称'''数归'''，指通过起始条件和递推步骤来证明自然数都满足谓词的一种方法。通常的获得数学归纳法相当于皮亚诺公理的第5条公理，即归纳公理。归纳公理的形式也称为'''第一数学归纳法'''/弱…”）
2023年9月2日 (六) 13:45 Gsxab 留言贡献创建了页面皮亚诺公理（重定向页面至Peano公理）标签：新重定向
2023年9月2日 (六) 13:30 Gsxab 留言贡献创建了页面重言式（重定向页面至命题公式分类）标签：新重定向
2023年9月2日 (六) 13:30 Gsxab 留言贡献创建了页面谓词公式分类（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=有效式 |eng_name=effective formula }} {{InfoBox |name=不可满足式 |eng_name=unsatisfiable formula }} {{InfoBox |name=可满足式 |eng_name=satisfiable formula }} 根据谓词公式在全部解释和赋值下的真值，可以将谓词公式分为以下几类。 * '''有效式'''('''effective formula''')：任何赋值下，谓词公式的真值都…”）
2023年9月2日 (六) 13:23 Gsxab 留言贡献创建了页面命题公式分类（创建页面，内容为“分类:命题逻辑 {{InfoBox |name=重言式 |eng_name=tautology |aliases=永真式 }} {{InfoBox |name=偶然式 |eng_name=contingency |aliases=仅可满足式,可真可假式 }} {{InfoBox |name=矛盾式 |eng_name=contrandiction |aliases=永假式,不可满足式,unsatisfiable formula }} {{InfoBox |name=可满足式 |eng_name=satisfiable formula }} 根据命题公式的在全部解释下的真值，可以将命题公…”）
2023年9月2日 (六) 13:16 Gsxab 留言贡献创建了页面闭式（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=闭公式 |eng_name=closed formula |aliases=闭式 }} '''闭式'''('''closed formula''')指不含有自由变元的谓词公式。 {{谓词逻辑}}”）