- 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:13:01
- åæ ‡ï¼š60°N 90°E / 60°N 90°E / 60; 90ä¿„ç½—æ–¯è”邦（俄è¯ï¼šĞ оÑÑийÑĞºĞ°Ñ Ğ¤ĞµĞ´ĞµÑ
- #俄国
- 矿物质
- ✍ dations ◷ 2021-07-14 16:16:52
- 矿物质，又称为无机盐，除了碳、氢、氮和氧之外，也是生物必需的化学元素之一，也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素，约占人体体重的4.4%。它们可以
- #矿物质
- Sr
- ✍ dations ◷ 2021-07-14 16:35:53
- 5s22，8，18，8，2蒸气压第一：549.5 kJ·mol−1
第二：1064.2 kJ·mol−1
第三：4138 kJ·mol主条目：锶的同位素锶（Strontium，旧译作鎴）是一种化学元素，它的化学符号是Sr，它的原子序数是38，
- #Sr
- 甘露糖
- ✍ dations ◷ 2021-07-14 16:37:54
- 甘露糖（Mannose）是一种单糖，也是一种六碳糖。在自然界中较少单独存在，多以群体的大分子形式出现。其甜度比蔗糖低，可作为糖尿病患者的代糖使用。它与核糖、半乳糖、墨角藻糖、胺
- #甘露糖
- 小波兰
- ✍ dations ◷ 2021-07-14 16:43:29
- 小波兰（波兰语：Małopolska，拉丁语：Polonia Minor）是波兰的历史地区之一，位于波兰的东南角。该地区不能与小波兰省相混淆，该省只包括小波兰历史地区的一部分。小波兰位于维斯瓦河上
- #小波兰
- 维他命B17
- ✍ dations ◷ 2021-07-14 16:45:37
- 扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物
- #维他命B17
- 2A类致癌物
- ✍ dations ◷ 2021-07-14 16:45:59
- 这些物质、混合物和接触场合被国际癌症研究机构列为2A类致癌物（对人类很可能有致癌性）。这里的大部分物质对人类的致癌的证据有限，但有足够的对其他某些动物致癌的证据。
- #2A类致癌物
- 颅神经
- ✍ dations ◷ 2021-07-14 16:47:09
- 脑神经（Cranial nerves）属于周围神经系统，区别于由脊髓发出的脊神经。它们是直接由脑发出的。在人类中，传统上认为一共有12对脑神经，其中有10对分布于头面部。除第1及第2对外，其余
- #颅神经
- 词干
- ✍ dations ◷ 2021-07-14 16:51:06
- 在语言学中，词干（stem），或语干，是词的一部分。在不同情况下使用，其含义有差异。词干的其中一种含义，是指词缀所附着的部分。 例如在英语单词friendships中包含了词干friend，词缀-shi
- #词干
- 孤立语
- ✍ dations ◷ 2021-07-14 16:51:20
- 孤立语（Isolating language），是有低语素单词比（morpheme-per-word ratio）的语言。依照语言学家的定义分类标准不同，孤立语与分析语之间的关系可能会产生三种情况：相对于综合语（其中
- #孤立语
共12352页
首页 11975 11976 11977 11978 11979 11980 11981 11982 11983 11984 尾页
