- SPARQL
- ✍ dations ◷ 2021-07-14 16:54:20
- SPARQL（读做“sparkle”、“史巴–抠”）是一种用于资源描述框架上的查询语言，它的名字是一个递归缩写，代表“SPARQL Protocol and RDF Query Language（SPARQL协议与RDF查询语言）”
- #SPARQL
- 南安普敦大学
- ✍ dations ◷ 2021-07-14 16:54:20
- 南安普敦大学（英语：University of Southampton）亦称修咸顿大学，位于英国南部港口城市南安普敦的著名研究型大学。其可追溯自1862年由亨利·罗宾逊·哈特利爵士之遗产所创办之哈
- #南安普敦大学
- 分众分类法
- ✍ dations ◷ 2021-07-14 16:54:20
- 分众分类法（Folksonomy），是一个英语合成词，中文译名尚未被普遍认同，又称“大众分类法”。由社会性书签服务中最具特色的自定义标签（Tag）功能衍生而来。大众分类法（Folksonomy）是由“F
- #分众分类法
- 开放数据库连接(ODBC)
- ✍ dations ◷ 2021-07-14 16:54:19
- ODBC（Open Database Connectivity，开放数据库互连）提供了一种标准的API（应用程序编程接口）方法来访问数据库管理系统（DBMS）。这些API利用SQL来完成其大部分任务。ODBC本身也提供了
- #开放数据库连接(ODBC)
- 可靠性
- ✍ dations ◷ 2021-07-14 16:54:19
- 可靠性定理（或健全性）是数理逻辑的最基本结果。它们有关于某个形式逻辑语言与这个语言的形式演绎系统的特定语义理论。可靠性定理有两种主要变体：弱可靠性的和强可靠性的。“强
- #可靠性
- 逻辑真理
- ✍ dations ◷ 2021-07-14 16:54:19
- 逻辑真理是逻辑系统中总是为真的述句，且将逻辑常项以外的东西解读为其他任何意义仍是为真。
- #逻辑真理
- 逻辑学家
- ✍ dations ◷ 2021-07-14 16:54:19
- 逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。
- #逻辑学家
- 有序对
- ✍ dations ◷ 2021-07-14 16:54:19
- 在数学中，有序对是两个对象的搜集，使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”（第一个元素和第二个元素也叫做左投影和右投影）。带有第一个元素a和第二个
- #有序对
- 命题逻辑
- ✍ dations ◷ 2021-07-14 16:54:19
- 在逻辑和数学里，命题演算（或称句子演算）是一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
- #命题逻辑
- 潜在语义学
- ✍ dations ◷ 2021-07-14 16:54:18
- 潜在语义分析（Latent Semantic Analysis），是语义学的一个新的分支。传统的语义学通常研究字、词的含义以及词与词之间的关系，如同义，近义，反义等等。潜在语义分析探讨的是隐藏在字
- #潜在语义学
- 理智
- ✍ dations ◷ 2021-07-14 16:54:18
- 理智（英语：reason），一种人类的心智能力。它被认为是一种思考、计算、衡量、推理与逻辑的能力，通常被当成形容词来使用。当我们说一个人是理智的，代表他的行为都是经过思考，考虑过对
- #理智
- 可判定性
- ✍ dations ◷ 2021-07-14 16:54:18
- 一个语言
L
{\displaystyle L}
，是一个集合，且其补集为
L
¯
- #可判定性
- 道义逻辑
- ✍ dations ◷ 2021-07-14 16:54:18
- 道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该（obligate）p：Op允许（permit）p：Pp禁止（forbid）p：Fp应该...不...（oblig
- #道义逻辑
- 空集
- ✍ dations ◷ 2021-07-14 16:54:18
- 空集是不含任何元素的集合，数学符号为
∅
{\displaystyle \emptyset }
、
∅
{\displa
- #空集
- 逻辑主义
- ✍ dations ◷ 2021-07-14 16:54:18
- 逻辑主义是数学哲学中的一门学派，其理论推测数学是逻辑的延伸，甚至认为一切的数学皆可视为逻辑的原型。创始者为戈特洛布·弗雷格，伯特兰·罗素和阿弗烈·诺夫·怀海德在理论理
- #逻辑主义
- 王力
- ✍ dations ◷ 2021-07-14 16:54:17
- 王力可能是指：
- #王力
- 模糊集
- ✍ dations ◷ 2021-07-14 16:54:17
- 模糊集是模糊数学上的一个基本概念，是数学上普通集合的扩展。给定一个论域
U
{\displaystyle U}
，那么从
- #模糊集
- 逻辑符号
- ✍ dations ◷ 2021-07-14 16:54:17
- 在逻辑是否中，经常使用一组符号来表达逻辑结构AI。因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。所以，给学逻辑的人的下列表格，列出了最常用的符号、它们的名字
- #逻辑符号
- 有效性
- ✍ dations ◷ 2021-07-14 16:54:17
- 在逻辑中，如果一个论证不能从真前提中得出假结论，则论证的形式是完全有效的。一个论证若被称为是有效的，则如果在其中所有前提都为真的每个模型中，结论也是真的。例如：“所有A是B
- #有效性
- 集合论
- ✍ dations ◷ 2021-07-14 16:54:17
- 集合论（英语：Set theory）或称集论，是研究集合（由一堆抽象对象构成的整体）的数学理论，包含集合和元素（或称为成员）、关系等最基本数学概念。在大多数现代数学的公式化中，都是在集合论的
- #集合论
- 元素
- ✍ dations ◷ 2021-07-14 16:54:17
- 在数学领域，集合的元素（英语：element）指构成该集合的任意对象（英语：Mathematical object），也可以称作成员（英语：member）。A
=
{
1
,
2
- #元素
- 结构规则
- ✍ dations ◷ 2021-07-14 16:54:16
- 在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。没
- #结构规则
- 时间逻辑
- ✍ dations ◷ 2021-07-14 16:54:16
- 在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊
- #时间逻辑
- 可能世界
- ✍ dations ◷ 2021-07-14 16:54:16
- 可能世界（英语：Possible world）的概念被用来在哲学和逻辑中，表达模态断言。在哲学中，术语“模态”覆盖了如“可能性”“必然性”“偶然性”这类观念。谈论可能世界在当代哲学讨论
- #可能世界
- 公理系统
- ✍ dations ◷ 2021-07-14 16:54:16
- 数学上，一个公理系统（英语：Axiomatic system，或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一并用来逻辑地导出定理。一个数学理论由一个公理系统和
- #公理系统
- 逻辑语义学
- ✍ dations ◷ 2021-07-14 16:54:16
- 我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义，所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入
- #逻辑语义学
- ⊥
- ✍ dations ◷ 2021-07-14 16:54:15
- 垂直是一个几何术语。在平面几何中，如果一条直线与另一条直线相交，且它们构成的任意相邻两个角相等，那么这两条直线相互垂直。术语“垂直”（符号：⊥）衍生一个形容词（垂直）或者名词（垂
- #⊥
- 布尔代数
- ✍ dations ◷ 2021-07-14 16:54:15
- &
∨
¬
~
→
⊃
≡
|
∀
∃
⊤
⊥
⊢
⊨
∴
∵
- #布尔代数
- span class=Unicode/span
- ✍ dations ◷ 2021-07-14 16:54:15
- 谢费尔竖线（英语：Sheffer stroke），得名于Henry M. Sheffer（英语：Henry M. Sheffer），写为“| ”（见竖线）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（No
- #<span class="Unicode">|</span>
- 邱奇
- ✍ dations ◷ 2021-07-14 16:54:15
- 阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工
- #邱奇
- 喉头
- ✍ dations ◷ 2021-07-14 16:10:44
- 喉头（larynx、voice box）是哺乳类颈部的一个器官，用于保护气管，或是作为发声构造。同时也是气管和食道分开的位置。
- #喉头
- 变形菌门
- ✍ dations ◷ 2021-07-14 16:11:42
- 变形菌门（Proteobacteria）是细菌中主要的一门，包括很多病原菌，如大肠杆菌、沙门氏菌、志贺氏菌、绿脓杆菌、霍乱弧菌、鼠疫杆菌、脑膜炎双球菌、淋球菌、空肠弯曲菌、幽门螺杆菌
- #变形菌门
- 弗雷德里克·查普曼·罗宾斯
- ✍ dations ◷ 2021-07-14 16:13:04
- 弗雷德里克·查普曼·罗宾斯（英语：Frederick Chapman Robbins，1916年8月25日－2003年8月4日），是一名美国儿科专家和病毒学家。1954年，他与约翰·富兰克林·恩德斯、托马斯·哈克尔·
- #弗雷德里克·查普曼·罗宾斯
- 总干事
- ✍ dations ◷ 2021-07-14 16:30:03
- 联合国秘书长是联合国秘书处的长官，由于联合国秘书处是联合国的行政机构，故联合国秘书长被视为联合国的最高行政长官。依照《联合国宪章》，秘书长是由安理会推荐，负责秘书处的工
- #总干事
- μg
- ✍ dations ◷ 2021-07-14 16:34:32
- 微克，质量单位，符号μg或者mcg（法语：microgramme → 英式英文：microgramme, 美式英文：microgram）。1微克等于一百万分之一克（10-6克）1 微克 = 1000 奈克1,000 微克 = 1毫克1,000,000
- #μg
- IBbr /11
- ✍ dations ◷ 2021-07-14 16:35:36
- 固体、
液体、
气体11族元素（常称铜族元素）是指元素周期表上第11族（ⅠB族）的元素，位于10族元素和12族元素之间。11族元素包含铜（Cu）、银（Ag）、金（Au）、
- #IB<br />11
- β-葡聚糖
- ✍ dations ◷ 2021-07-14 16:37:45
- β-葡聚糖是指由β-葡萄糖通过β-糖苷键聚合形成的聚糖，多数的β-葡聚糖分子内糖苷键类型均为β-1,3-糖苷键或β-1,6-糖苷键，纤维素中糖苷键类型为β-1,4-糖苷键。β-葡聚糖最
- #β-葡聚糖
- 安庆市
- ✍ dations ◷ 2021-07-14 16:39:07
- 安庆市，又名宜城，是中华人民共和国安徽省下辖的地级市，位于安徽省西南部，长江下游北岸。长江沿岸著名的港口城市，中国民族工业的发源地；历史悠久，二千多年前为皖国，安徽省简称“皖”
- #安庆市
- 舌咽神经
- ✍ dations ◷ 2021-07-14 16:49:39
- 舌咽神经（Glossopharyngeal nerve）为大脑第9对神经，属于混合神经。编号IX。主要控制茎突咽肌，腮腺体，部分味蕾和收集来自耳部后部的感觉等。解剖学(Anatomy)-脑神经(cranial nerv
- #舌咽神经
- 亚美尼亚
- ✍ dations ◷ 2021-07-14 16:50:34
- 亚美尼亚国家图书馆（亚美尼亚语： Հայաստանի Ազգային Գրադարան）是亚美尼亚的国家图书馆，位于该国首都耶烈万，1832年创建。现在的建筑则建造于1939年，由亚
- #亚美尼亚
共12352页
首页 11975 11976 11977 11978 11979 11980 11981 11982 11983 11984 尾页
