- 形式语义学
- ✍ 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:49
- 卡介苗（Bacillus Calmette-Guérin，简称BCG，中文名称来自于其发明者卡氏-介氏）是一种最初被用于预防结核病的疫苗。在结核病常发的国家，常推荐健康的婴儿在出生时候尽快接受一剂
- #卡介苗
- 红血球生成激素
- ✍ dations ◷ 2021-07-14 16:25:08
- 1BUY, 1CN4, 1EER· hormone activity
· protein binding· regulation of transcription from RNA polymerase II promoter
· signal transduction
· embryo implant
- #红血球生成激素
- 整合素
- ✍ dations ◷ 2021-07-14 16:27:21
- 结构 / ECOD结构 / ECOD整合素（英语：Integrin，又译为整联蛋白）是一种介导细胞和其外环境（如细胞外基质，ECM）之间的连接的跨膜受体。在信号转导中，整合素将ECM的化学成分与力学状态等
- #整合素
- 反苯环丙胺
- ✍ dations ◷ 2021-07-14 16:36:06
- 反苯环丙胺（Tranylcypromine，原商品名Parnate）是一种单胺氧化酶（MAO）的非选择性和不可逆性抑制剂（MAOI），其属于苯乙胺和安非他命类。临床上用于治疗重度抑郁症、焦虑症和强迫症。反
- #反苯环丙胺
- 己糖
- ✍ dations ◷ 2021-07-14 16:37:50
- 己糖（英语：Hexose），又称为六碳糖，是含有6个碳原子的单糖，化学式为C6H12O6. 1位含有醛基的6碳糖称为己醛糖， 2位含有酮基的己糖称为己酮糖。己糖六个碳原子中有五个碳原子连上了羟基
- #己糖
- 中央静脉导管
- ✍ dations ◷ 2021-07-14 16:39:26
- 深静脉血栓是在深静脉形成的血栓，常形成于下肢或骨盆部位深处的静脉。有时也形成于上肢的静脉（这被称为Paget-Schrötter综合症（英语：Paget–Schroetter disease））。近期接受外科
- #中央静脉导管
- 最高人民会议
- ✍ dations ◷ 2021-07-14 16:47:05
- 执政党（607）：参政党（72）：无党派（8）：朝鲜民主主义人民共和国主题最高人民会议（朝鲜语：최고인민회의／最高人民會議），是朝鲜民主主义人民共和国宪法规定的最高权力机关。最高人民会议代表经朝
- #最高人民会议
- HLA-A
- ✍ dations ◷ 2021-07-14 16:49:42
- 2XPG, 3RL1, 3RL2· plasma membrane
· integral to plasma membrane
· ER to Golgi transport vesicle membrane
· integral to membrane
· phagocytic vesicle me
- #HLA-A
- 真空集便器
- ✍ dations ◷ 2021-07-14 16:52:20
- 真空厕所是厕所的一种，透过冲厕系统产生的气压差，以气吸形式把便器内的污物吸走，以达至减少使用冲厕水的目的。真空厕所多见于缺少冲厕水的环境，如民航客机、邮轮、旅客列车等。
- #真空集便器
- 关系代名词
- ✍ dations ◷ 2021-07-14 16:52:55
- 关系代名词(Relative Pronoun)是一类标明关系子句的代名词，其指称的对象和主句中由关系子句修饰的事物(通常是名词或名词词组)相同。汉语没有关系代名词。一个英语关系代名词
- #关系代名词
共12352页
首页 11978 11979 11980 11981 11982 11983 11984 11985 11986 11987 尾页
