- 形式语义学
- ✍ dations ◷ 2021-07-14 16:54:01
- 在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。语言的形式语义是用数学模型去表达该语言描述的可能的计算来给出的。形式语义学（form
- #形式语义学
- 非标准模型
- ✍ dations ◷ 2021-07-14 16:54:01
- 在数理逻辑的模型论中，称某理论的模型为非标准模型，如果它与预期模型（或称标准模型）不同构。如果预期模型是无限的, 且使用的语言是一阶的，则非标准模型的存在性由勒文海姆–斯科
- #非标准模型
- 自然后设语义
- ✍ dations ◷ 2021-07-14 16:54:00
- 自然后设语义 (Natural Semantic Metalanguage, NSM)，又称自然语义后设语言，或是简称自然语义理论，是语言学当中语义学的理论之一，源起于波兰语言学者安德列杰‧波古斯洛斯基(An
- #自然后设语义
- 布尔函数
- ✍ dations ◷ 2021-07-14 16:54:00
- 在数学中，布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在
- #布尔函数
- 推理规则
- ✍ dations ◷ 2021-07-14 16:54:00
- 在逻辑中，特别是数理逻辑中，推理规则（推论规则）是构造有效推论的方案。这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系。这些语法关系用于推理过程中，新的真的
- #推理规则
- 模糊逻辑
- ✍ dations ◷ 2021-07-14 16:54:00
- 模糊逻辑是处理部分真实概念的布尔逻辑扩展。经典逻辑坚持所有事物（陈述）都可以用二元项（0或1，黑或白，是或否）来表达，而模糊逻辑用真实度替代了布尔真值。这些陈述表示实际上接近于
- #模糊逻辑
- 博弈语义
- ✍ dations ◷ 2021-07-14 16:54:00
- 博弈语义是一种基于博弈论定义真或有效性等逻辑概念的形式语义，比如游戏者的赢策略。保尔·洛伦茨首先在1950年代晚期为逻辑引入了博弈语义。此后在逻辑中已经研究了很多不同
- #博弈语义
- 逻辑学
- ✍ dations ◷ 2021-07-14 16:53:59
- 逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究。逻辑被使用在大部分的
- #逻辑学
- 维根斯坦
- ✍ dations ◷ 2021-07-14 16:53:59
- 路德维希‧约瑟夫‧约翰‧维特根斯坦（德语：Ludwig Josef Johann Wittgenstein，又译维特根施泰因、维特根斯坦；1889年4月26日－1951年4月29日）是一名奥地利哲学家。他生于奥地利，后入
- #维根斯坦
- 模型论
- ✍ dations ◷ 2021-07-14 16:53:59
- 模型论(英语：Model theory)一般是指数学中集合论的论述角度对数学概念表现（representation）的研究，或者说是对于作为数学系统基础的“模型”的研究。粗略地说，该学科假定有一些既
- #模型论
- ≡
- ✍ dations ◷ 2021-07-14 16:53:59
- ↔⇔≡当且仅当的逻辑符号当且仅当（英语：if and only if，iff），在数字逻辑中，逻辑算符反异或闸（exclusive or）是对两个运算元的一种逻辑分析类型，符号为XNOR或ENOR或
- #≡
- 关联
- ✍ dations ◷ 2021-07-14 16:53:59
- 在概率论和统计学中，相关（Correlation），显示两个随机变量之间线性关系的强度和方向。在统计学中，相关的意义是用来衡量两个变量相对于其相互独立的距离。在这个广义的定义下，有许
- #关联
- 本体语言
- ✍ dations ◷ 2021-07-14 16:53:59
- 在计算机科学和人工智能领域，本体语言（ontology language、又称为本体论语言）是指用于构建本体的形式语言。此类语言允许对有关特定领域的知识加以编码，且常常还包括为处理这些
- #本体语言
- 有限集合
- ✍ dations ◷ 2021-07-14 16:53:58
- 数学中，一个集合被称为有限集合，简单来说就是元素个数有限，严格而言则是指有一个自然数n使该集合与集合
{
1
,
2
,
- #有限集合
- 对立四边形
- ✍ dations ◷ 2021-07-14 16:53:58
- 对立四边形（又译逻辑方阵、四角对当）是来自亚里士多德逻辑或词项逻辑的术语，它明确说明了各种句子类型之间的逻辑关系。对于主词"S"和谓词"P"，提供了如下规则:只有前两个规则是
- #对立四边形
- 指称语义
- ✍ dations ◷ 2021-07-14 16:53:58
- 在计算机科学中，指称语义（英语：Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语
- #指称语义
- 传统逻辑
- ✍ dations ◷ 2021-07-14 16:53:58
- 传统逻辑，也叫做词项逻辑，是关于亚里士多德（公元前384年—前322年）所开创的传统逻辑学的宽松的术语，并有幸的没有经历广泛的改变，直到十九世纪末出现了谓词逻辑。有时很难理解在弗
- #传统逻辑
- 前提
- ✍ dations ◷ 2021-07-14 16:53:58
- 前件（antecedent），亦称前提，是假言命题的前半部分。例子：这是假言命题的标准逻辑公式。在这种情况下，前件是P。X是人是这个命题的前件。这里的人类已经在月亮上行走是前件。
- #前提
- 实用主义
- ✍ dations ◷ 2021-07-14 16:53:58
- 实用主义（英语：Pragmatism，派生于希腊词πρᾶγμα（事物、实物））又称实验主义、试验主义，是产生于19世纪70年代的现代哲学派别，在20世纪的美国成为一种主流思潮。对法律、政治、教
- #实用主义
- 外延性
- ✍ dations ◷ 2021-07-14 16:53:57
- 在数学中，外延性通常指称某种形式的。可追溯到莱布尼兹的原理，两个数学对象是相等的，如果没有区分它们的检验。例如，给出两个数学函数 f 和 g，我们可以说它们是相等的，如果对于在
- #外延性
- 双面真理说
- ✍ dations ◷ 2021-07-14 16:53:57
- 双面真理说（Dialetheism）是指存在双面真理（dialetheia），即命题P和~P同为真的命题。这一学说反对基于亚里士多德的无矛盾律（有时又称为矛盾律），即P∧~P必然为假的传统逻辑观。根据Gra
- #双面真理说
- 偏见
- ✍ dations ◷ 2021-07-14 16:53:57
- 异常心理学
行为遗传学
生物心理学
心理药物学
认知心理学
比较心理学
跨文化心理学
文化心理学
差异心理学（英语：Differential psychology）
发展心理学
演化心理学
实验心理学
- #偏见
- 早川一会
- ✍ dations ◷ 2021-07-14 16:53:57
- 早川一会（英语：S. I. Hayakawa，1906年7月18日－1992年2月27日），加拿大出生的日裔美国语言学家，曾任旧金山州立大学校长、加利福尼亚州联邦参议员（共和党籍）。早川一会先后毕业于曼尼托
- #早川一会
- 哥德尔完备性定理
- ✍ dations ◷ 2021-07-14 16:53:57
- 哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明
- #哥德尔完备性定理
- 文氏图
- ✍ dations ◷ 2021-07-14 16:53:56
- 文氏图（英语：Venn diagram），或译Venn图、温氏图、维恩图、维恩图解、范氏图、韦恩图等，是在集合论（或者类的理论）数学分支中，在不太严格的意义下用以表示集合（或类）的一种草图。它们用
- #文氏图
- 亚结构逻辑
- ✍ dations ◷ 2021-07-14 16:53:56
- 在数理逻辑中，特别是联合上证明论的时候，一些亚结构逻辑已经作为比常规系统弱的命题演算系统被介入了。同常规系统的不同之处在于它们有更少的结构规则可用：结构规则的概念是基
- #亚结构逻辑
- ∀
- ✍ dations ◷ 2021-07-14 16:53:56
- 倒转 A（大写：Ɐ、小写：ɐ、数学符号：∀）是扩展拉丁字母的一种，来自拉丁字母A。
小写的 ɐ 是国际音标中次开央元音的符号。.mw-parser-output .monospaced{font-family:"Menlo","C
- #∀
- 模糊规则
- ✍ dations ◷ 2021-07-14 16:53:56
- 模糊规则的形式为：if x is A then y is B
其中A和B为由论域X和Y上的模糊集合定义的语言值。“x is A”称为前提，“y is B”称为结论。以上模糊规则可以简写为A → B。本质上模
- #模糊规则
- 不可数集
- ✍ dations ◷ 2021-07-14 16:53:56
- 不可数集（英语：uncountable set）是无穷集合中的一种。一个无穷集合和自然数集之间要是不存在一个双射，那么它就是一个不可数集。集合的不可数性与它的基数密切相关：如果一个集合
- #不可数集
- 含糊
- ✍ dations ◷ 2021-07-14 16:53:55
- 含糊（英语：vagueness），或作模糊，是语义学、哲学用语。在语义学、哲学领域，一般对含糊的解读是：日常语言中，含糊是无法避免的，甚至经常是刻意营造的结果。然而，在专业的文本中，人们通常
- #含糊
- 自身抗体
- ✍ dations ◷ 2021-07-14 16:18:27
- 人体解剖学 - 人体生理学
组织学 - 胚胎学
人体寄生虫学 - 免疫学
病理学 - 病理生理学
细胞学 - 营养学
流行病学 -
药理学 - 毒理学自身抗体（autoantibody）是一种抗体类型，
- #自身抗体
- 血管舒张剂
- ✍ dations ◷ 2021-07-14 16:19:44
- 血管舒张是指在血管壁的平滑肌松弛下，令体内血管扩阔的情况。由于空间增大让血液流过，这会降低了血压。它的相反过程称为血管收缩。血管舒张可以自然产生或经由血管舒张剂引起
- #血管舒张剂
- 胸腺嘧啶
- ✍ dations ◷ 2021-07-14 16:26:46
- 胸腺嘧啶（英语：Thymine，简写为 T），又称为5-甲基尿嘧啶（英语：5-methyluracil），为嘧啶类碱基，是形成DNA核苷酸中四种碱基（G－C－A－T）的其中一种。如其别名，胸腺嘧啶是尿嘧啶（U）5号位碳原子上甲基化
- #胸腺嘧啶
- 痤疮
- ✍ dations ◷ 2021-07-14 16:27:02
- 痤疮（英语：acne、拼音：cuó chuāng、注音：ㄘㄨㄛˊ ㄔㄨㄤ）；也称为寻常性痤疮（拉丁语：acne vulgaris），在毛囊被死皮细胞和来自皮肤的油脂堵塞时出现。 它的特点是黑头或白头、疙瘩、
- #痤疮
- 农业政策
- ✍ dations ◷ 2021-07-14 16:31:21
- 农业政策（英语：Agricultural policy）指与本地农业和进口外地农产品相关的一系列法律。政府实行农业政策通常是为了在本地农产市场达到特定的目标，例如保证供应水平、价格稳定、
- #农业政策
- 臭气
- ✍ dations ◷ 2021-07-14 16:34:05
- 气味是人类嗅觉系统对散布于空气中的某些特定分子的感应。人们把使人愉快的气味称为香味，把使人不快的气味称为臭味。人类大概能识别1000种不同的气味。气味分子进入鼻孔后，会
- #臭气
- 圣殿
- ✍ dations ◷ 2021-07-14 16:41:26
- 圣殿（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey Ash
- #圣殿
- 备忘录
- ✍ dations ◷ 2021-07-14 16:44:19
- 备忘录（英语：memorandum，简写为 memo），意指任何一种能够帮助记忆，简单说明主题与相关事件的书面资料。它源自于拉丁语：memorandum est，由动词 memoro （原义是“提及、回忆、相关的”），
- #备忘录
- 全身炎症反应综合征
- ✍ dations ◷ 2021-07-14 16:44:47
- 全身炎症反应综合症（Systemic inflammatory response syndrome ,SIRS）是一个影响到整个身体的炎症反应。它是身体的应激性反应，是机体应对一种感染性或非感染性因素的方式。虽
- #全身炎症反应综合征
- 黏着语
- ✍ dations ◷ 2021-07-14 16:50:57
- 黏着语（英语：Agglutinative language），为综合语（synthetic language）的一种，具有词形变化的一种语言类型。黏着语透过在名词、动词等词根粘加上不同的词尾来表达语法功能。黏着语与
- #黏着语
共12352页
首页 11978 11979 11980 11981 11982 11983 11984 11985 11986 11987 尾页
