主要公开日志

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

• 2025年5月9日 (五) 12:19 Gsxab 留言 贡献创建了页面0 型文法 （重定向页面至递归可枚举文法） 标签：新重定向
• 2025年5月5日 (一) 17:28 Gsxab 留言 贡献创建了页面对合性 （重定向页面至对合律） 标签：新重定向
• 2025年5月5日 (一) 17:23 Gsxab 留言 贡献创建了页面分类:二元函数 （创建页面，内容为“分类:函数”）
• 2025年5月5日 (一) 17:22 Gsxab 留言 贡献创建了页面分类:一元函数 （创建页面，内容为“分类:函数”）
• 2025年5月5日 (一) 17:21 Gsxab 留言 贡献创建了页面对合律 （创建页面，内容为“分类:一元运算 {{InfoBox |name=对合性 |eng_name=involution |aliases=self-inverse }} {{InfoBox |name=对合律 |eng_name=involutory property |aliases=involutory law }} '''对合性'''('''involution''')指某集合上的一个一元运算，两次作用于相同操作数时得到该操作数本身，也说这个运算的逆运算是其自身。 相当于说这个一元运算与自身复合得到恒等映射。…”）
• 2025年5月5日 (一) 17:12 Gsxab 留言 贡献创建了页面分类:群实例 （创建页面，内容为“分类:群论 一些具体的散落在各个数学分支中的群的实例。”）
• 2025年5月5日 (一) 17:09 Admin 留言 贡献删除页面分类:以Gauss命名 （内容为：“#重定向 分类:以 Gauss 命名”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 17:09 Admin 留言 贡献删除页面分类:以Fermat命名 （内容为：“#重定向 分类:以 Fermat 命名”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 17:09 Admin 留言 贡献删除页面分类:以Euler命名 （内容为：“#重定向 分类:以 Euler 命名”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 17:07 Admin 留言 贡献删除页面分类:以Eratosthenes命名 （内容为：“#重定向 分类:以 Eratosthenes 命名”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 16:47 Admin 留言 贡献删除页面模n剩余类环 （内容为：“#重定向 模 n 剩余类环”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 16:10 Gsxab 留言 贡献创建了页面Fermat 最后定理 （重定向页面至Fermat 大定理） 标签：新重定向
• 2025年5月5日 (一) 16:10 Gsxab 留言 贡献创建了页面费马最后定理 （重定向页面至Fermat 大定理） 标签：新重定向
• 2025年5月5日 (一) 15:56 Gsxab 留言 贡献创建了页面Bézout 恒等式 （重定向页面至Bézout 定理） 标签：新重定向
• 2025年5月5日 (一) 15:23 Gsxab 留言 贡献创建了页面绝对值函数 （重定向页面至绝对值） 标签：新重定向
• 2025年5月5日 (一) 14:52 Gsxab 留言 贡献创建了页面算术基本引理 （重定向页面至标准质因数分解） 标签：新重定向
• 2025年5月5日 (一) 12:54 Gsxab 留言 贡献创建了页面Hilbert 表示 （重定向页面至Hilbert 系统） 标签：新重定向
• 2025年5月5日 (一) 07:43 Gsxab 留言 贡献移动页面P 进数至P-进数，覆盖重定向
• 2025年5月5日 (一) 07:40 Gsxab 留言 贡献通过覆盖删除重定向P-进数 （删除以便移动P 进数）
• 2025年5月5日 (一) 07:31 Admin 留言 贡献删除页面Sarrus数 （内容为：“#重定向 Sarrus 数”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 07:30 Admin 留言 贡献删除页面Stern-Brocot 树 （内容为：“#重定向 Stern–Brocot 树”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月5日 (一) 04:07 Gsxab 留言 贡献创建了页面扩展 Backus–Naur 范式 （创建页面，内容为“分类:形式语言 分类:形式语言实例 {{InfoBox |name=扩展巴科斯–诺尔范式 |eng_name=extended Backus–Naur form |aliases=EBNF,扩展巴克斯–瑙尔范式,扩展BNF,extended BNF }} '''扩展<ins>巴科斯</ins>–<ins>诺尔</ins>范式'''('''extended Backus–Naur form''')或'''扩展 BNF''' ，缩写为 '''EBNF''' ，指为上下文无关文法设计的形式元语言语法 BNF 的扩展。 EBNF 简化了一些常用语法…”）
• 2025年5月5日 (一) 03:52 Gsxab 留言 贡献创建了页面ISO 14977 （重定向页面至扩展 Backus–Naur 范式） 标签：新重定向
• 2025年5月4日 (日) 16:29 Gsxab 留言 贡献创建了页面ABNF （重定向页面至增强 Backus–Naur 范式） 标签：新重定向
• 2025年5月4日 (日) 16:28 Gsxab 留言 贡献创建了页面EBNF （重定向页面至扩展 Backus–Naur 范式） 标签：新重定向
• 2025年5月4日 (日) 16:28 Gsxab 留言 贡献创建了页面BNF （重定向页面至Backus–Naur 范式） 标签：新重定向
• 2025年5月4日 (日) 13:21 Gsxab 留言 贡献创建了页面Backus–Naur 范式 （创建页面，内容为“分类:形式语言 {{InfoBox |name=巴科斯–诺尔范式 |eng_name=Backus–Naur form |aliases=BNF,巴克斯–瑙尔范式,巴科斯范式,Backus normal form }} '''<ins>巴科斯</ins>–<ins>诺尔</ins>范式'''('''Backus–Naur form''')或'''巴科斯范式'''('''Backus normal form''')，缩写为 '''BNF''' ，指一种为上下文无关文法设计的形式元语言语法。计算机领域中， BNF 及其变体作为编程语言理论的正式…”）
• 2025年5月4日 (日) 12:58 Admin 留言 贡献删除页面分类:形式语言理论 （内容为：“分类:形式语言 描述形式语言规则的理论。使用另一种自然语言、非形式化的人工语言或形式语言作为元语言作为媒介进行描述。”，唯一贡献者是“Gsxab”（讨论））
• 2025年5月4日 (日) 12:51 Gsxab 留言 贡献创建了页面非终结符 （重定向页面至生成文法） 标签：新重定向
• 2025年5月4日 (日) 12:51 Gsxab 留言 贡献创建了页面终结符 （重定向页面至生成文法） 标签：新重定向
• 2025年5月4日 (日) 12:51 Gsxab 留言 贡献创建了页面生成文法 （创建页面，内容为“分类:形式语言 {{InfoBox |name=生成文法 |eng_name=generative grammar }} '''生成文法'''('''generative grammar''')是描述形式语言中语法规则的一种方式，对应形式语言中进行“规则描述”的表示方式。 可以认为生成文法本身是一种用于描述形式语言的形式元语言。 == 描述方式 == 生成文法对语言进行如下建模。 生成文法包括以下四个部分： * '''终结符'''('…”）
• 2025年5月4日 (日) 12:36 Gsxab 留言 贡献创建了页面分类:形式语言实例 （重定向页面至形式语言） 标签：新重定向
• 2025年5月4日 (日) 12:18 Gsxab 留言 贡献创建了页面递归可枚举语言 （创建页面，内容为“分类:语言文字 分类:计算理论 {{InfoBox |name=递归可枚举语言 |eng_name=recursive enumerable language }} {{InfoBox |name=图灵可识别语言 |eng_name=Turing-recognizable language }} {{InfoBox |name=0型语言 |eng_name=type-0 language }} '''递归可枚举'''语言('''recursive enumerable''' language)指一种形式语言是该语言字母表上全部可能单词的一个可递归枚举的子集。'''<ins>图灵</ins>可识别'''…”）
• 2025年5月4日 (日) 11:45 Gsxab 留言 贡献创建了页面Chomsky 生成语法理论 （创建页面，内容为“分类:语言文字 {{InfoBox |name=生成语法 |eng_name=generative grammar }} '''生成语法'''('''generative grammar''')是语言学中的一个学说，尝试跨过分类语言现象的手段，描写解释语言能力本身，以解决语法规则根据现象逐渐增多，却没有相应解释且无法解释儿童可以迅速习得语言语法的矛盾。 生成语言学学派主张人类天生具有遗传的语言能力，使得所有语言有共…”）
• 2025年5月4日 (日) 09:25 Gsxab 留言 贡献创建了页面分类:非严格形式化人造语言 （创建页面，内容为“分类:人造语言 {{非标准称呼}} 人造语言包含多个类别，其中按照语法是否可严格形式化可以分为两类，本分类是其中未严格形式化的语言。”）
• 2025年5月4日 (日) 09:04 Gsxab 留言 贡献创建了页面语言 （创建页面，内容为““语言”一词有两种常用含义。 1. 音义结合的符号系统，见分类:语言文字。 2. 即“形式语言”，指字母表上符合某种规则的串所构成的集合。”）
• 2025年5月4日 (日) 08:59 Gsxab 留言 贡献创建了页面分类:语言文字 （创建页面，内容为“以语音为物质外壳、以词汇为建筑材料、以语法为结构规律的符号系统称为'''语言'''，是一种音义结合的符号系统。如汉语普通话。 记录语言的音、形、义统一的书写符号系统，称为'''文字'''。文字从属于语言。如简体中文。 以上两种合称为'''语言文字'''，或简称'''语文'''。在本 wiki 的讨论中，由于讨论对象多为形式语言，不需要考虑语言和文…”）
• 2025年5月4日 (日) 08:44 Gsxab 留言 贡献创建了页面分类:形式语言 （创建页面，内容为“分类:人造语言 本分类内含形式语言及其理论。形式语言指语言根据语法划分中具有形式化语法的语言，因此本分类下的语言都是'''人造语言'''下的'''工程语言'''，由于本 wiki 不涉及其他分类，直接建立在人造语言下。”）
• 2025年5月4日 (日) 08:38 Gsxab 留言 贡献创建了页面分类:人造语言 （创建页面，内容为“分类:语言文字 '''人造语言'''('''constructed language''')或'''人工语言'''('''artifical language''')，指非自然演化形成的语言文字（如世界语、数学语言、化学方程式、乐谱等）。与分类:自然语言相对。 人造语言及其简称'''造语'''('''conlang''')也多指仿照自然语言所创造的语言文字。 在语言学上，语言文字被按照起源划分为自然语言和人造语言，而人造…”）
• 2025年5月4日 (日) 08:13 Gsxab 留言 贡献创建了页面分类:自然语言 （创建页面，内容为“分类:语言 '''自然语言'''('''natural language''')指通过人类社群自然演化形成的语言（如汉语、英语等）。自然语言有一定的模糊性、语境依赖，且随着时间和地域存在动态变化。 由于本 wiki 不承载语言学内容，本分类下直接放置与具体自然语言相关的条目。”）
• 2025年5月4日 (日) 08:07 Gsxab 留言 贡献创建了页面分类:形式语言理论 （创建页面，内容为“分类:形式语言 描述形式语言规则的理论。使用另一种自然语言、非形式化的人工语言或形式语言作为元语言作为媒介进行描述。”）
• 2025年5月4日 (日) 07:55 Gsxab 留言 贡献创建了页面元语言 （创建页面，内容为“分类:语言 {{InfoBox |name=元语言 |eng_name=metalanguage }} '''元语言'''('''metalanguage''')，即“关于语言自身的语言”，指在研究某种特定语言时，为了清晰地描述、分析和解释该语言，所不得不引入的另一种作为工具的语言。'''元'''('''meta-''')即“关于……自身”的含义。 元语言不指一种特定的语言，而是根据所扮演角色的分类。对于分类:自然语言|自然…”）
• 2025年5月4日 (日) 05:19 Gsxab 留言 贡献移动页面Euler 筛法至线性筛
• 2025年5月4日 (日) 05:16 Gsxab 留言 贡献创建了页面Euler 筛法 （创建页面，内容为“分类:整除理论 分类:质数分布问题 分类:数论算法 分类:以 Euler 命名 {{InfoBox |name=欧拉筛法 |eng_name=seive of Euler |aliases=欧拉筛,线性筛,linear seive }} '''<ins>欧拉</ins>筛法'''('''seive of Euler''')，简称'''<ins>欧拉</ins>筛'''，是找出小于某正整数的全部质数的算法。这一算法是 Eratosthenes 筛法的改进版，因时间复杂度降低到线性复杂度，也称'''…”）
• 2025年5月4日 (日) 04:20 Gsxab 留言 贡献创建了页面欧拉筛 （重定向页面至Euler 筛法） 标签：新重定向
• 2025年4月20日 (日) 07:05 Gsxab 留言 贡献创建了页面序型 （创建页面，内容为“分类:序理论 {{InfoBox |name=序型 |eng_name=order type }} '''序型'''('''order type''')是对序的抽象刻画。对偏序及更强的序，称序同构的两个有序集具有相同的序型。 由于良序集的序型与序数一一对应，一般多研究良序集的序型。 == 定义 == 对两个偏序集 <math>(P,\preceq_P)</math> 和 <math>(Q,\preceq_Q)</math> ，若存在序同构 <math>f: X\to Y</math> （即保持序关系地将…”）
• 2025年3月30日 (日) 17:09 Gsxab 留言 贡献创建了页面Ω1 （重定向页面至第一个不可数序数） 标签：新重定向
• 2025年3月30日 (日) 17:09 Gsxab 留言 贡献创建了页面Ω0 （重定向页面至第一个超限序数） 标签：新重定向
• 2025年3月30日 (日) 17:05 Gsxab 留言 贡献创建了页面Ω₀ （重定向页面至第一个超限序数） 标签：新重定向
• 2025年3月30日 (日) 17:04 Gsxab 留言 贡献创建了页面第一个不可数序数 （创建页面，内容为“分类:序数理论 {{InfoBox |name=欧米伽一 |eng_name=omega-one }} {{Entity |name=第一个不可数序数 |symbol=<math>\omega_1</math> |latex=\omega_1 |type=序数 }} 第一个不可数序数，记作 ω （<math>\omega_1</math>），是最小不可数良序集的序型。 是全部可数序数后的第一个序数，是不可数的序数。”）