- 德摩根
- ✍ 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:14
- 航空医学（英语：Aviation medicine）亦称为飞航医学或航太医学，是一门预防医学和职业医学，其主要服务的对象或患者是飞行员，机组人员及宇宙飞行员（太空人）。该医学分科目的是治疗或预
- #航空医学
- 植物
- ✍ dations ◷ 2021-07-14 16:12:00
- 轮藻、一种杂交蔷薇、百岁兰；
小毛毡苔、蓬蘽、欧洲酸樱桃；
银杏、柳树、溪苔属；
非洲苏铁、蕙兰、一种藓类；
一种蕨、紫菀、朝鲜冷杉。有争议：植物（英文：Plant）是植物界（学名：Plantae
- #植物
- 病程
- ✍ dations ◷ 2021-07-14 16:14:40
- 人体解剖学 - 人体生理学
组织学 - 胚胎学
人体寄生虫学 - 免疫学
病理学 - 病理生理学
细胞学 - 营养学
流行病学 -
药理学 - 毒理学病程，是指一个疾病或者其治疗的持续时
- #病程
- 生命科学
- ✍ dations ◷ 2021-07-14 16:15:00
- 生命科学包括所有对生物（微生物、动物、植物等）进行研究的科学领域，也包括对相关领域的考量，比如生物伦理学。尽管目前生物学仍然是生命科学的中心，分子生物学和生物技术上的进展
- #生命科学
- 食欲不振
- ✍ dations ◷ 2021-07-14 16:15:00
- 食欲不振（英语：Anorexia），也作食欲减退、食欲缺乏，民间常称“没胃口”，是指食欲降低的一种症状。虽然在许多非科研出版物中该词也可指代神经性厌食症，但是食欲不振的成因却多种多样
- #食欲不振
- 静脉注射免疫球蛋白
- ✍ dations ◷ 2021-07-14 16:15:55
- 静脉注射免疫球蛋白是一种用于静脉注射的血液制品，注射后其效果可以持续2周至3个月。它是一种从上千献血者所捐献的血浆中提取出来，并汇聚到一起的非特效丙种免疫球蛋白（G型抗
- #静脉注射免疫球蛋白
- 血小板
- ✍ dations ◷ 2021-07-14 16:17:24
- 血小板（英语：platelet），也称血栓细胞（英语：thrombocytes，源自于希腊语的θρόμβος“凝块”以及κύτος“细胞”），为血液的一个组成部分，可与凝血因子一起，借由结块作用，对血管受
- #血小板
- 消瘦
- ✍ dations ◷ 2021-07-14 16:20:12
- 消瘦（英语：emaciation）被定义为由于皮下脂肪和身体肌肉的损失导致过度的体重减轻和不自然的羸瘦。过度的消瘦会影响到人类和动物的健康。消瘦是由严重的营养不良和饥饿引起的。
- #消瘦
- 司美匹韦
- ✍ dations ◷ 2021-07-14 16:21:27
- 司美匹韦（英语：Simeprevir），是一种抗病毒药物，常与其他药物并用治疗丙型肝炎。本品主要用于治疗丙型肝炎第一及四型基因型，常见的市售药名为奥利西奥（英语：Olysio）。可并用的药物有索
- #司美匹韦
- 附着语素
- ✍ dations ◷ 2021-07-14 16:51:57
- 附着语素（英语：Clitic；源自古希腊语：ἐγκλιτικός“倾斜”）是一个词法学概念，上指在句法作用有如一自由词素，在语音学上却表现出规范语素特性的语素，其发音必须依附于前面或
- #附着语素
共12352页
首页 11977 11978 11979 11980 11981 11982 11983 11984 11985 11986 尾页
