- 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:53
- 人体解剖学 - 人体生理学
组织学 - 胚胎学
人体寄生虫学 - 免疫学
病理学 - 病理生理学
细胞学 - 营养学
流行病学 -
药理学 - 毒理学老年医学（英语：Geriatrics）是医学的一个
- #老人医学
- 社会经济学
- ✍ dations ◷ 2021-07-14 16:28:48
- 社会经济学(英语：Socioeconomics)，是研究经济活动如何影响和社会过程塑造的社会科学。一般来说，它分析一个社会如何因地方或区域经济或全球经济而进步、或是停滞、甚至退化。社
- #社会经济学
- 阴茎
- ✍ dations ◷ 2021-07-14 16:29:18
- 人类阴茎是男性人类交配和排尿的器官。人的阴茎由三个主要部分组成：根部、体部，以及用以覆盖龟头的上皮部分（包括阴茎体部两侧的皮肤和包皮）。阴茎的主体主要由两个位于背侧的阴
- #阴茎
- 塑化剂
- ✍ dations ◷ 2021-07-14 16:30:57
- 塑化剂（英语：Plasticizer），或称增塑剂、可塑剂，是一种增加材料的柔软性或使材料液化的添加剂。其添加对象包含了塑胶（塑胶添加剂）、混凝土、干壁材料、水泥、胶粘剂与石膏等等。同
- #塑化剂
- 大西洋
- ✍ dations ◷ 2021-07-14 16:36:28
- 大西洋（西班牙语：Océano Atlántico，葡萄牙语：Oceano Atlântico，英语：Atlantic Ocean），是世界第二大洋。原面积8221万7千平方公里，在南冰洋确立后，面积调整为7676万2千平方公里。平
- #大西洋
- HLA-B
- ✍ dations ◷ 2021-07-14 16:49:41
- 3VCL· plasma membrane
· integral to plasma membrane
· ER to Golgi transport vesicle membrane
· membrane
· integral to membrane
· phagocytic vesicle m
- #HLA-B
- 着装守则
- ✍ dations ◷ 2021-07-14 16:49:48
- 服装是人类形象基础的一部分，除了满足基本的保护和修饰功能之外，它的每个配件也传达出不同的文化和社会意义，在绝大多数的人文社会中都有属于自己的着装守则，其中的大部分规则都
- #着装守则
- 责任制
- ✍ dations ◷ 2021-07-14 16:49:53
- 责任制（Exempt Employee）存在某些工作职位上，原本是指管理、高阶、专业人士，或是创意工作者，因为本身的特殊性质，而不必受到固定上下班时间限制，完成自己负责的工作后即可下班，不需
- #责任制
- 职业病游戏
- ✍ dations ◷ 2021-07-14 16:49:53
- 职业病游戏是一个集体游戏。不限，多人为佳这游戏可以训练玩家的急才，亦可以训练玩家的创意。
- #职业病游戏
- 着重强调
- ✍ dations ◷ 2021-07-14 16:50:40
- 焦点（缩写为：foc）是一种语法的类别，用于确定句子的哪一部分能够提供新的、不可推导的或对比的信息。焦点与信息结构（英语：Information structure）有关。对比焦点尤其是指与对话者 (
- #着重强调
共12352页
首页 11975 11976 11977 11978 11979 11980 11981 11982 11983 11984 尾页
