- 德摩根
- ✍ dations ◷ 2021-07-14 16:54:08
- 奥古斯塔斯·德摩根（Augustus De Morgan，1806年6月27日－1871年3月18日，英语发音.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI",
- #德摩根
- 演绎推理
- ✍ dations ◷ 2021-07-14 16:54:07
- 演绎推理（英语：Deductive Reasoning）、正向推理在传统的亚里士多德逻辑中是“结论，可从叫做‘前提’的已知事实，‘必然地’得出的推理”。如果前提为真，则结论必然为真。这区别于
- #演绎推理
- 康托尔定理
- ✍ dations ◷ 2021-07-14 16:54:07
- 康托尔定理指的是在ZFC集合论中，声称任何集合A的幂集（所有子集的集合）的势严格大于A的势。康托尔定理对于有限集合是明显的，但是令人惊奇的是它对于无限集合也成立。特别是，可数
- #康托尔定理
- 证明论
- ✍ dations ◷ 2021-07-14 16:54:07
- 证明论是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对他们的分析。证明通常用归纳式地定义的数据结构来表达，例如链表，盒链表，或者树，它们根
- #证明论
- 推论
- ✍ dations ◷ 2021-07-14 16:54:07
- 在数学上，推论（也称为系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出，则称B为A的推论。推论、定理、命题等
- #推论
- 谓词逻辑
- ✍ dations ◷ 2021-07-14 16:54:07
- 在数理逻辑中，谓词逻辑（Predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。
- #谓词逻辑
- 尔雅
- ✍ dations ◷ 2021-07-14 16:54:06
- 《尔雅》乃中国最早的一部训诂书，也是世界上现存最早的的单语言词典。至今《尔雅》仍是后代考证古代词语时重要的一部著作。《尔雅》原本只是纯粹的一部词典，与儒家并无关系，但
- #尔雅
- 数学基础
- ✍ dations ◷ 2021-07-14 16:54:06
- 数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可计算性理论）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题
- #数学基础
- 直觉类型论
- ✍ dations ◷ 2021-07-14 16:54:06
- 直觉类型论（Intuitionistic type theory）、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和
- #直觉类型论
- 认识逻辑
- ✍ dations ◷ 2021-07-14 16:54:06
- 认识逻辑是关心与知识有关的推理的模态逻辑子领域。(认识这个词的希腊语是 Episteme)。它应用于哲学、计算机科学、人工智能和其他领域。认识逻辑的基本模态算子通常写为 K，
- #认识逻辑
- 递归集合
- ✍ dations ◷ 2021-07-14 16:54:06
- 在可计算性理论中，一个自然数的子集被称为递归的、可计算的或具可判定性，如果我们可以构造一个算法，使之能在有限时间内终止并判定一个给定元素是否属于这个集合。更一般的集合
- #递归集合
- 逻辑史
- ✍ dations ◷ 2021-07-14 16:54:06
- 逻辑史，又称理则史，指逻辑学的发展史。在古埃及和巴比伦都发现逻辑学的萌芽。但现在所使用的逻辑学产生于古希腊时期。与此同时，印度和中国也独立地发展了逻辑学。中国古代逻辑
- #逻辑史
- 决定性问题
- ✍ dations ◷ 2021-07-14 16:54:05
- 在可计算性理论与计算复杂性理论中，所谓的决定性问题（Decision problem）是一个在某些形式系统回答是或否的问题。例如：“给两个数字x与y，x是否可以整除y？”便是决定性问题，此问题可
- #决定性问题
- ¬
- ✍ dations ◷ 2021-07-14 16:54:05
- 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。命题A的非可以有几种写法：以上可以读做"A不成立"或者"非A"。¬p的真值表定义如下：~A即在A的条件下，结论
- #¬
- 元数学
- ✍ dations ◷ 2021-07-14 16:54:05
- 元数学（英语：Metamathematics），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学
- #元数学
- 一元谓词演算
- ✍ dations ◷ 2021-07-14 16:54:05
- 在逻辑中，一元谓词演算是所有谓词字母都是一元（就是只接受一个参数）并且没有函数字母的谓词演算。所有原子公式都有形式
P
(
x
- #一元谓词演算
- 非形式逻辑
- ✍ dations ◷ 2021-07-14 16:54:05
- 非形式逻辑是对自然语言论证的研究，典型特征是不如形式逻辑善于分析。非形式逻辑的焦点在于分析错误的论证来辨别逻辑谬论，和辨别与分类类似的推理策略等活动。用自然语言分析
- #非形式逻辑
- 充分条件
- ✍ dations ◷ 2021-07-14 16:54:04
- 充分必要条件（英语：sufficient and necessary condition）简称为充要条件。在逻辑学中：因此：P是Q的必要条件，代表“如果P是假，则Q是假”。以逻辑符号表示：通过否定后件，得出“如果Q是
- #充分条件
- 形式证明
- ✍ dations ◷ 2021-07-14 16:54:04
- 数学上，一个公理系统（英语：Axiomatic system，或称公理化系统，公理体系，公理化体系）是一个公理的集合，从中一些或全部公理可以一并用来逻辑地导出定理。一个数学理论由一个公理系统和
- #形式证明
- 抽象释义
- ✍ dations ◷ 2021-07-14 16:54:04
- 在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
- #抽象释义
- 可计算性理论
- ✍ dations ◷ 2021-07-14 16:54:04
- 在计算机科学中，可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论
- #可计算性理论
- 有限主义
- ✍ dations ◷ 2021-07-14 16:54:04
- 在数学哲学，有限主义是构成主义的极端形式，意即除非某数学物件能经过有限步从自然数中构造出来，否则该物件便不存在。相反，大部分构成主义者容许可列出的无限步。著名有限主义者
- #有限主义
- 归纳推理
- ✍ dations ◷ 2021-07-14 16:54:03
- 归纳法或归纳推理（Inductive reasoning），有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表（token）的有限观察，把性质或关系归结到类型；或基于对反
- #归纳推理
- 策梅洛
- ✍ dations ◷ 2021-07-14 16:54:03
- 恩斯特·策梅洛（德语：Ernst Friedrich Ferdinand Zermelo，1871年7月27日－1953年5月21日），生于柏林，是德国数学家，其工作主要为数学基础，因而对哲学有重要影响。1889年，他毕业于柏林Lui
- #策梅洛
- 直言三段论
- ✍ dations ◷ 2021-07-14 16:54:03
- 直言三段论是所有前提都是直言命题的演绎推理。例子：前两个命题叫做前提。如果这个三段论是有效的，这两个前提逻辑上蕴含了最后的命题，它叫做结论。结论的真实性建立在前提的真
- #直言三段论
- ~
- ✍ dations ◷ 2021-07-14 16:54:03
- ؋ ₳
฿ ₿
₵ ¢ ₡ ₢（英语：Brazilian cruzeiro）
$ ₫ ₯ ֏
₠ €
ƒ（英语：Florin sign） ₣
₲
₴（英语：Hryvnia sign）
₭
₺
- #~
- 递归可枚举集合
- ✍ dations ◷ 2021-07-14 16:54:03
- 递归可枚举集合（英语：Recursively enumerable set）是可计算性理论或更狭义的递归论中的一个概念。可数集合S被称为是递归可枚举、计算可枚举的、半可判定的或可证明的，如果或者
- #递归可枚举集合
- 线性逻辑
- ✍ dations ◷ 2021-07-14 16:54:01
- 在数理逻辑中，线性逻辑是拒绝“弱化”和“收缩”的结构规则的一种亚结构逻辑。对此解释是“假设是资源”:在证明中所有假设必须被消费“精确一次”。这区别于平常的逻辑比如
- #线性逻辑
- 严格条件
- ✍ dations ◷ 2021-07-14 16:54:01
- 在逻辑中，严格条件是遵照来自模态逻辑的必然性算子行事的实质条件。对于任何两个命题
p
{\displaystyle p}
和
- #严格条件
- 定义域
- ✍ dations ◷ 2021-07-14 16:54:01
- 定义域（英语：Domain），是函数自变量所有可取值的集合。给定函数
f
:
A
→
B
{\displaystyle f:A\righ
- #定义域
- 奶酪
- ✍ dations ◷ 2021-07-14 16:11:09
- #奶酪
- 每搏输出量
- ✍ dations ◷ 2021-07-14 16:18:26
- 每搏输出量（stroke volume）是指一次在心搏中由一侧心室射出的血量，简称搏出量。人体左、右心室的搏出量基本相等，一个正常成年人在安静时的搏出量一般在60～80毫升之间。搏出量等
- #每搏输出量
- 心律不整
- ✍ dations ◷ 2021-07-14 16:25:59
- 心脏节律不整（拉丁语：Cardiac Arrhythmia／Cardiac Dysrhythmia; 法语：Rythme cardiaque irrégulier；英语：Irregular Heartbeat，通称：心律不正、心律失常、心律失常、心律不齐），是指心
- #心律不整
- 瑞士
- ✍ dations ◷ 2021-07-14 16:28:37
- 欧洲（深灰色）瑞士联邦（德语：Schweizerische Eidgenossenschaft；法语：Confédération suisse；意大利语：Confederazione Svizzera；罗曼什语：Confederaziun svizra；英语：Swiss Confederati
- #瑞士
- 官方语言
- ✍ dations ◷ 2021-07-14 16:29:51
- 联合国正式语文有6种，用于联合国会议，联合国所有正式文件皆以这6种语文书写。以拉丁字母顺序排列分别为：这些语言在联合国各个机构的会议上使用，特别是联合国大会（《议事规则》第
- #官方语言
- 班加西
- ✍ dations ◷ 2021-07-14 16:41:13
- 坐标：32°05′41″N 20°11′16″E / 32.0947711°N 20.1879106°E / 32.0947711; 20.1879106班加西（阿拉伯语：بنغازي）是位于利比亚北部锡德拉湾沿岸的一座港口城市，也是
- #班加西
- 反宗教主义
- ✍ dations ◷ 2021-07-14 16:42:16
- 反宗教指反对宗教的教义乃至其存在合理性的思想或行为。反宗教者也可能是无神论者或反神论者，因此反宗教不等同于无神论、不可知论或者反神论。这个词可以用来形容反对现有的
- #反宗教主义
- 成骨不全症
- ✍ dations ◷ 2021-07-14 16:48:04
- 成骨不全症（osteogenesis imperfecta），简称OI，又称脆骨症，是一种主要影响骨骼的遗传性疾病。它导致骨骼容易骨折。严重程度可能从轻微至严重。其他症状可能包括蓝巩膜，身材短小，关
- #成骨不全症
- 非处方药
- ✍ dations ◷ 2021-07-14 16:48:49
- 非处方药（over-the-counter (OTC) drug），又称为成药，指的是未经处方而可以从药店购买得到的药品，与处方药相对。这些药品临床应用时间较长、药效确定、药物不良反应较少，患者不须
- #非处方药
- 生成语言学
- ✍ dations ◷ 2021-07-14 16:52:40
- 生成语言学是语言学中关于生成语法的一种学说。对不同的人来说，“生成语法”可能表示不同的意思，涉及有不同的范围，意思也可能重叠。生成语言学用完全直接明析的方式来解决语法
- #生成语言学
共12352页
首页 11977 11978 11979 11980 11981 11982 11983 11984 11985 11986 尾页
