ET百科 - 我们的中文百科

形式语义学: ✍ 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:11:09; æ‹‰ä¸è¯ï¼ˆæ‹‰ä¸è¯ï¼šlingua latÄ«naï¼ŒIPAï¼šï¼‰ï¼Œæ˜¯å°æ¬§è¯ç³»çš„æ„å¤§åˆ©è¯æ—è¯è¨€; #拉丁语

Health Level 7: ✍ dations ◷ 2021-07-14 16:18:45; HL7指的是一组用于在各种医疗服务提供者所使用之软件应用程序之间，传输临床和管理数据的国际标准。这些标准侧重于应用层，即OSI模型中的“第7层”。 HL7标准由国际标准组织Hea; #Health Level 7

睑痉挛: ✍ dations ◷ 2021-07-14 16:21:33; 眼睑痉挛，俗称眼睛跳，是指眼睑肌肉不自控的痉挛现象。这现象可以同时发生于双眼，亦有左右眼分别跳动的现象。眼眉跳（粤）应该属于 Eyelid Myokymia.据知眼睑痉挛成因有三：除此之外; #睑痉挛

蕈褶: ✍ dations ◷ 2021-07-14 16:23:14; 蕈褶（英语：lamella, gill），又称菌褶，是担子菌门真菌子实体（担子果）的菌盖内侧的脊状突起，多条脊状突起以蕈柄为中心，一般形成放射状的排列。蕈褶表面有子实层，是担孢子产生之处，子实层; #蕈褶

蛔虫科: ✍ dations ◷ 2021-07-14 16:28:11; 蛔虫科（学名：Ascarididae），亦简化作蛔科，是蛔虫总科之下的一个科。包括有：; #蛔虫科

碱雨: ✍ dations ◷ 2021-07-14 16:34:03; 碱雨，顾名思义，就是呈碱性的雨，与酸雨相反。碱雨的成因可以有两方面，例如：当氧化钙或氢氧化钠的粉尘排放到空气里，又或是有时在一些氨工厂周围因为氨气排放到空气里。这些碱性的; #碱雨

北日德兰大区: ✍ dations ◷ 2021-07-14 16:38:41; 北日德兰大区（Region Nordjylland）是丹麦五大区之一，2007年1月1日由原来的北日德兰郡、维堡郡一部分和奥胡斯郡玛丽艾厄市的西部合并而成。下分11市。面积8,020平方公里，2008年; #北日德兰大区

苏格拉底: ✍ dations ◷ 2021-07-14 16:40:42; 后设伦理学规范性 · 描述性效果论义务论美德伦理学关怀伦理学善与恶 · 道德生物伦理学 · 网络伦理（英语：Cyberethics） · 神经伦理学（英语：Neuroethics） ·; #苏格拉底

广场恐怖症: ✍ dations ◷ 2021-07-14 16:46:51; 广场恐怖症是一种焦虑症，其特征是人们认为环境不安全并且不容易逃离而产生焦虑症状。这些情况可能包括开放空间、公共交通、商场，或仅仅是在自家外，在这些情况下可能会导致恐; #广场恐怖症

颈椎: ✍ dations ◷ 2021-07-14 16:48:05; 颈椎（cervical vertebrae）是脊椎的第一节。人类的颈椎位于颈部区域，一共有7块颈椎骨。第一节颈椎有一个特别的名称：寰椎（Atlas），取自希腊神话中背负着地球的泰坦巨神阿特拉斯。马的; #颈椎

共12352页首页 11978 11979 11980 11981 11982 11983 11984 11985 11986 11987 尾页