- 德摩根
- ✍ 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:10:40
- 阿莫西林（amoxicillin），又译安莫西林或安默西林，本名羟氨苄青霉素，是一种常用的口服性广谱β-内酰胺类抗生素，具溶菌作用，主治易感微生物所引起的细菌性感染。本品为治疗中耳炎的第
- #阿莫西林
- 冠心病
- ✍ dations ◷ 2021-07-14 16:16:44
- 冠状动脉疾病（英语：coronary artery disease, CAD）又称为缺血性心脏病或简称冠心病（英语：ischemic heart disease, IHD）、冠状动脉粥状硬化心脏病、冠状动脉粥状硬化心血管疾病（英
- #冠心病
- 萤光显微镜
- ✍ dations ◷ 2021-07-14 16:18:36
- 荧光显微镜是一种使用荧光或磷光物质的光学显微镜，或除此之外使用反射和吸收用于研究的有机或无机物质的特性。“荧光显微镜”是指使用荧光来产生一个图像的任何显微镜，无论是
- #萤光显微镜
- 磷脂酶
- ✍ dations ◷ 2021-07-14 16:26:08
- 磷脂酶（英语：Phospholipase）是一种将磷脂质水解为脂肪酸及亲脂性物质的酵素。磷脂酶主要依据其催化反应的对象分为四类，即磷脂酶A、B、C、D四种。磷脂酶A1－切SN-1酰基
磷脂酶A2－切
- #磷脂酶
- 安勇县
- ✍ dations ◷ 2021-07-14 16:39:01
- 安勇县（越南语：Huyện Yên Dũng／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H",
- #安勇县
- 加洛林帝国
- ✍ dations ◷ 2021-07-14 16:42:56
- 加洛林帝国 (800–888) 是中世纪早期欧洲西部和中部的帝国。加洛林帝国被加洛林王朝统治，加洛林家族从751年开始成为法兰克国王，774年开始成为意大利伦巴底国王。800年，法兰克
- #加洛林帝国
- Who Named It?
- ✍ dations ◷ 2021-07-14 16:43:37
- 《Whonamedit?》是一部记载医学名称及其有关人物的英语词典，由医学史家Ole Daniel Enersen（英语：Ole Daniel Enersen）负责维护，其服务器位于挪威。
- #Who Named It?
- 阳光
- ✍ dations ◷ 2021-07-14 16:46:03
- 太阳光，广义的定义是来自太阳所有频谱的电磁辐射。在地球，阳光显而易见是当太阳在地平线之上，经过地球大气层过滤照射到地球表面的太阳辐射，则称为日光。当太阳辐射没有被云遮蔽
- #阳光
- 军队
- ✍ dations ◷ 2021-07-14 16:49:23
- 军队也称为武装力量，是被授权使用（英语：use of force）致命武力（英语：deadly force）及武器来保护其国家和全部或部分人民的利益的常规武装力量。军队的任务一般会是保护国家及人民，以
- #军队
- 芬兰
- ✍ dations ◷ 2021-07-14 16:50:37
- 芬兰国家图书馆（芬兰语：Kansalliskirjasto，瑞典语：Nationalbiblioteket）建于1640年，1827年由原址图尔库迁至赫尔辛基。该馆是芬兰重要的研究图书馆，亦是芬兰历史最悠久和规模最大的
- #芬兰
共12352页
首页 11977 11978 11979 11980 11981 11982 11983 11984 11985 11986 尾页
