Update on 2024-08-27 from miRoox-m4F2aE

miRoox · Aug 27, 2024 · 2316bbd · 2316bbd
1 parent e464fb8
commit 2316bbd
Show file tree

Hide file tree

Showing 8 changed files with 47 additions and 10 deletions.
diff --git a/tiddlers/公理模式.tid b/tiddlers/公理模式.tid
@@ -1,13 +1,13 @@
 created: 20240826143134526
 creator: miRoox
-modified: 20240826143930562
+modified: 20240827032904858
 modifier: miRoox
 tags: 逻辑 分类 公理
 title: 公理模式
 tmap.id: b234121c-84af-40fb-bbf4-b35a4c02baa2
 type: text/vnd.tiddlywiki
 
-公理模式（axiom schema）是个在[[公理系统]]的语言中的一个[[合式公式]]，其中有一个以上的模式变数出现。这些模式变量属于[[元语言]]的一种，代表系统内的任一项或任一公式。
+''公理模式''（axiom schema）是个在[[公理系统]]的语言中的一个[[合式公式]]，其中有一个以上的模式变量出现。这些模式变量属于[[元语言]]的一种，代表系统内的任一项或任一公式。
 
 若模式变量能替换的公式或项的数目是[[可数无限]]的，此公理模式则代表了个公理。
 

diff --git a/tiddlers/命题.tid b/tiddlers/命题.tid
@@ -0,0 +1,12 @@
+created: 20240827053541146
+creator: miRoox
+modified: 20240827053821712
+modifier: miRoox
+tags: TODO
+title: 命题
+tmap.id: 54634f1c-2b23-4e8f-ae82-ff7cdafddd08
+type: text/vnd.tiddlywiki
+
+''命题''（proposition）是一个陈述句所表达的判断，具有真值，即不是真的就是假的。
+
+由其他命题推出命题（前提推出结论）的过程，叫做推论；而这些作为前提和结论的命题的集合，叫做论证。[[命题逻辑]]主要处理命题及其之间的逻辑关系。
diff --git a/tiddlers/命题逻辑.tid b/tiddlers/命题逻辑.tid
@@ -0,0 +1,8 @@
+created: 20240827035520871
+creator: miRoox
+modified: 20240827035549477
+modifier: miRoox
+tags: 逻辑 TODO 数理逻辑
+title: 命题逻辑
+tmap.id: bf0de994-ad52-4ade-86aa-8037f0ce6311
+type: text/vnd.tiddlywiki
diff --git a/tiddlers/替代公理模式.tid b/tiddlers/替代公理模式.tid
@@ -1,10 +1,14 @@
 created: 20240622143537808
 creator: miRoox
-modified: 20240826142704266
+modified: 20240827034332327
 modifier: miRoox
 tags: 策梅洛-弗兰克尔集合论 公理 公理模式
 title: 替代公理模式
 tmap.id: fa83f121-7891-461b-803a-448d6fd2e1b4
 type: text/vnd.tiddlywiki
 
-''替代公理模式''（axiom schema of replacement）本质上断言一个[[集合]]在一个[[映射]]（泛函谓词）下的[[像]]也是一个集合。
+''替代公理模式''（axiom schema of replacement）本质上断言一个[[集合]]在一个[[映射]]（[[泛函谓词]]）下的[[像]]也是一个集合。
+
+$$
+
+$$
diff --git a/tiddlers/机器视觉.tid b/tiddlers/机器视觉.tid
@@ -1,7 +1,7 @@
 caption: 机器视觉
 created: 20200410060732198
 creator: miRoox
-modified: 20240822121111399
+modified: 20240827034019059
 modifier: miRoox
 tags: 工程技术 分类
 title: 机器视觉
@@ -10,4 +10,4 @@ type: text/vnd.tiddlywiki
 
 ! 机器视觉
 
-偏重于[[计算机视觉]]技术工程化，能够自动获取和分析特定的图像，以控制相应的行为。
+偏重于[[计算机视觉]]技术工程化，能够自动获取和分析特定的[[图像]]，以控制相应的行为。
diff --git a/tiddlers/类型论.tid b/tiddlers/类型论.tid
@@ -0,0 +1,12 @@
+created: 20240827035134648
+creator: miRoox
+modified: 20240827035417291
+modifier: miRoox
+tags: 逻辑 TODO 数理逻辑 计算机科学
+title: 类型论
+tmap.id: 9e299042-9f42-41e7-88ad-52ae4b08ca50
+type: text/vnd.tiddlywiki
+
+''类型论''是研究不同[[类型系统]]及其表达形式的学科。某些类型系统适合用作数学基础，取代数学家一般使用的[[集合论]]。
+
+类型论的核心概念是，每一条合乎语法规则的表达式（或称“项”）都有其所属的[[类型]]。通过结合多个基础类型，可以定义更加复杂的类型。
diff --git a/tiddlers/红色警戒系列.tid b/tiddlers/红色警戒系列.tid
@@ -1,8 +1,8 @@
 created: 20240628062047908
 creator: miRoox
-modified: 20240628081142267
+modified: 20240827034954705
 modifier: miRoox
-tags: 命令与征服系列 TODO 电子游戏 游戏
+tags: 命令与征服系列 TODO 电子游戏 游戏 分类
 title: 红色警戒系列
 tmap.id: ca35c45e-b5bf-4277-8cb0-a4fe1d0def52
 type: text/vnd.tiddlywiki

diff --git a/tiddlers/谓词逻辑.tid b/tiddlers/谓词逻辑.tid
@@ -1,10 +1,11 @@
+aliases: 一阶逻辑
 created: 20240621142210643
 creator: miRoox
-modified: 20240621142404921
+modified: 20240827035612524
 modifier: miRoox
 tags: 数理逻辑 逻辑
 title: 谓词逻辑
 tmap.id: 50f23998-37f7-4df5-861e-d68356dd020c
 type: text/vnd.tiddlywiki
 
-即[[一阶逻辑]]。
+即一阶逻辑。