主要公开日志

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

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>），是最小不可数良序集的序型。是全部可数序数后的第一个序数，是不可数的序数。”）
2025年3月30日 (日) 16:55 Gsxab 留言贡献创建了页面Ω₁ （重定向页面至第一个不可数序数）标签：新重定向
2025年3月30日 (日) 16:38 Gsxab 留言贡献创建了页面第一个超限序数（创建页面，内容为“分类:序数理论 {{InfoBox |name=欧米伽 |eng_name=omega }} {{Entity |name=第一个超限序数 |symbol=<math>\omega</math> |notation=\omega |type=序数 }} 第一个超限序数，记作 ω （<math>omega</math>），也有人记作 <math>\omega_0</math> ，是所有自然数的集合的序型。是第一个极限序数，紧接在全部自然数之后。”）
2025年3月10日 (一) 17:22 Gsxab 留言贡献创建了页面ZFC 公理系统（创建页面，内容为“分类:公理集合论分类:以 E. Zermelo 命名分类:以 A. Fraenkel 命名 {{InfoBox |name=ZFC公理系统 |eng_name=ZFC set theory |aliases=ZFC }} '''ZFC 公理系统'''('''ZFC set theory''')，简称 '''ZFC''' ，指为避免 Russell 悖论而对集合论进行公理化的公理系统之一。其中包含 8 条公理的版本称为 ZF 公理系统，而包含选择公理或其他等…”）
2025年3月10日 (一) 16:50 Gsxab 留言贡献创建了页面存在推广（创建页面，内容为“分类:证明论 {{InfoBox |name=存在推广 |eng_name=existential generalization |aliases=EG }} '''存在推广'''('''existential generalization''', 缩写 '''EG'')指证明论中一个常见于各种推理系统的推理规则，即对任意谓词公式 <math>\varphi(x)</math> 和项 <math>t</math> ，有 <math>\varphi(t/x) \dashv \exists x \varphi \vdash </math> 。这一规则将一个具体的针对某个项的命题…”）
2025年3月10日 (一) 16:27 Gsxab 留言贡献创建了页面全称特化（创建页面，内容为“分类:证明论 {{InfoBox |name=全称特化 |eng_name=universal instantiation |aliases=universal specialization,US,UI }} '''全称特化'''('''universal instantiation''' / '''universal specialization''', 缩写 '''UI''' / '''US''')指证明论中一个常见于各种推理系统的推理规则，即对任意谓词公式 <math>\varphi</math> 和项 <math>t</math> ，有 <math>\forall x \varphi \vdash \varphi(x/t)</math> 。”）
2025年3月10日 (一) 16:13 Gsxab 留言贡献创建了页面等词（创建页面，内容为“分类:谓词逻辑 {{InfoBox |name=等词 |eng_name=equality }} '''等词'''('''equality''')是分类:谓词逻辑中的一个二元谓词。通常用“=”或“是”表示，代表两个项的相同关系。推理系统中往往引入形如 <math>t=t</math> 的公理模式，称为'''等词公理'''。 {{谓词逻辑}}”）
2025年3月9日 (日) 08:50 Gsxab 留言贡献创建了页面连续统假设（创建页面，内容为“分类:公理集合论分类:基数理论 {{InfoBox |name=连续统假设 |eng_name=continuum hypothesis |aliases=CH }} '''连续统假设'''('''continuum hypothesis''')，缩写为 '''CH''' ，指公理集合论中的一个假设。这一假设指不存在介于自然数基数 <math>\aleph_0</math> 和连续统 <math>\mathfrak{c}=\beth_1=2^\aleph_0</math> 之间的基数，也可以表述为 <mat…”）
2025年3月7日 (五) 19:59 Gsxab 留言贡献创建了页面良序定理（创建页面，内容为“分类:公理集合论以 E. Zermelo 命名 {{InfoBox |name=良序定理 |eng_name=well-ordering theorem |aliases=well-ordering theorem,策梅洛定理,Zermelo's theorem }} '''良序定理'''('''well-ordering theorem''')是说明每个集合都是一个良序集，或者说每个集合上都存在一个良序。等价于选择公理，如果添加到 ZF 公理体系上，会得到 ZFC 公理体系，此时作为公理也称为'''良…”）
2025年3月7日 (五) 19:48 Gsxab 留言贡献创建了页面选择公理（创建页面，内容为“分类:公理集合论 {{InfoBox |name=选择公理 |eng_name=axiom of choice |aliases=AC,AoC }} {{InfoBox |name=选择映射 |eng_name=choice function |aliases=选择子,selector,selection }} '''选择公理'''('''axiom of choice''')，缩写 '''AC''' ，指公理集合论中的一个公理，这一公理假设对任意多个集合，总是能找到一种取数方式，使得我们可以从中每个集合中取出刚好…”）
2025年3月7日 (五) 17:50 Gsxab 留言贡献移动页面希尔伯特系统至Hilbert 系统
2025年3月7日 (五) 17:48 Gsxab 留言贡献创建了页面ZF 公理系统（创建页面，内容为“分类:公理集合论分类:以 E. Zermelo 命名分类:以 A. Fraenkel 命名 {{InfoBox |name=策梅洛–弗兰克尔公理系统 |eng_name=Zermelo–Fraenkel set theory |aliases=策梅洛–弗兰克尔公理体系,策梅洛–弗兰克尔公理集合论,ZF }} '''<ins>策梅洛</ins>–<ins>弗兰克尔</ins>公理系统'''('''Zermelo–Fraenkel set theory''')，简称 '''ZF 公理系统'''或 '''ZF''' ，指为避免 Russell 悖论而对:…”）
2025年3月7日 (五) 14:39 Gsxab 留言贡献创建了页面公理系统（集合论）（重定向页面至公理集合论）标签：新重定向
2025年3月7日 (五) 14:28 Gsxab 留言贡献创建了页面分类:公理集合论（创建页面，内容为“分类:集合论公理集合论是朴素集合论遇到悖论后被公理化的分支。主要的公理化方式是 ZF 公理系统或加入选择公理的 ZFC 公理系统，也存在其他公理化方式。”）
2025年3月7日 (五) 14:23 Gsxab 留言贡献创建了页面分类:序数理论（创建页面，内容为“分类:公理集合论序数理论是公理集合论中关于序数的理论。”）
2025年3月7日 (五) 14:22 Gsxab 留言贡献创建了页面分类:基数理论（创建页面，内容为“基数理论是公理集合论中关于基数的理论。”）
2025年3月7日 (五) 13:26 Gsxab 留言贡献创建了页面ℶ0 （重定向页面至ℶ₀）标签：新重定向
2025年3月7日 (五) 13:25 Admin 留言贡献删除页面ℶ0 （内容为：“#重定向 ℶ₀”，唯一贡献者是“Gsxab”（讨论））
2025年3月6日 (四) 18:31 Gsxab 留言贡献创建了页面ℶ0 （重定向页面至ℶ₀）标签：新重定向
2025年3月6日 (四) 18:30 Gsxab 留言贡献创建了页面ℶ₀ （重定向页面至ℵ₀）标签：新重定向
2025年3月6日 (四) 15:50 Gsxab 留言贡献创建了页面第一个超限基数（重定向页面至ℵ₀）标签：新重定向
2025年3月3日 (一) 16:02 Gsxab 留言贡献移动页面ℶ 记号至ℶ 数
2025年3月3日 (一) 16:01 Gsxab 留言贡献移动页面ℵ 记号至ℵ 数