- 逻辑代数
- ✍ dations ◷ 2021-07-14 16:53:55
- 在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代数中变量的值是数字，而且主要的运算是加法、
- #逻辑代数
- 皮亚诺
- ✍ dations ◷ 2021-07-14 16:53:55
- 朱塞佩·皮亚诺 Giuseppe Peano（1858年8月27日－1932年4月20日）是意大利数学家、逻辑学家、语言学家。朱塞佩·皮亚诺于1858年8月27日生于意大利的库内奥（Cuneo）附近的斯宾尼塔（Spi
- #皮亚诺
- 计算机科学
- ✍ dations ◷ 2021-07-14 16:53:55
- 计算机科学（英语：computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现（英语：implementation）与应用的实用技术的学科。 它通常被形容
- #计算机科学
- Web 2.0
- ✍ dations ◷ 2021-07-14 16:53:55
- Web 2.0（也称为参与式网络或社交网络），指以最终用户为目标，强调用户生成内容、易用性、参与文化和互操作性（如：与其它产品、系统和设备兼容）的网站。Web 2.0这个词由达西·迪纽西在
- #Web 2.0
- 歧义性
- ✍ dations ◷ 2021-07-14 16:53:55
- 歧义（英语：ambiguity，又有译为“含混”）是指未定义或定义不清楚而没有明确涵义的单词、术语（term）、注释或观念。在华人社会，认为此言词源于唐朝苏味道：“处事不欲决断明白，若有错误，
- #歧义性
- 二阶逻辑
- ✍ dations ◷ 2021-07-14 16:53:54
- 在逻辑和数学中，二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑的扩展。二阶逻辑接着被高阶逻辑和类型论所扩展。一阶逻辑和二阶逻辑都使用了论域（有时叫做“域”或“全集”）的想
- #二阶逻辑
- 自然语言处理
- ✍ dations ◷ 2021-07-14 16:53:54
- 自然语言处理（英语：Natural Language Processing，缩写作 NLP）是人工智能和语言学领域的分支学科。此领域探讨如何处理及运用自然语言；自然语言处理包括多方面和步骤，基本有认知、
- #自然语言处理
- 悖论
- ✍ dations ◷ 2021-07-14 16:53:54
- 悖论（英语：Paradox），亦称为佯谬或诡局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文parad
- #悖论
- →
- ✍ dations ◷ 2021-07-14 16:53:54
- 箭头是一种符号，用于指明方向、表达趋势或其他抽象用途。
- #→
- 希尔伯特
- ✍ dations ◷ 2021-07-14 16:53:54
- 大卫·希尔伯特（德语：David Hilbert .mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gent
- #希尔伯特
- 先验
- ✍ dations ◷ 2021-07-14 16:53:53
- 先验（拉丁语：a priori；也译作 先天）在拉丁文中指“来自先前的东西”，或引申为“有经验之前”。近代西方传统中，认为先验指无需经验或先于经验获得的知识。它通常与后验知识相比较，
- #先验
- 类型-记号区别
- ✍ dations ◷ 2021-07-14 16:53:53
- 类型与个例的区别（英语：type-token difference）是指，物体的一个“类”（class）和类中个体的诸多“个例”（instances）之间的差别。一个类型可以对应很多个例，所以整体上个例比类型要多
- #类型-记号区别
- 公理
- ✍ dations ◷ 2021-07-14 16:53:53
- 在传统逻辑中，公理是没有经过证明，但被当作不证自明的一个命题。因此，其真实性被视为是理所当然的，且被当做演绎及推论其他（理论相关）事实的起点。当不断要求证明时，因果关系毕竟不
- #公理
- 直觉主义
- ✍ dations ◷ 2021-07-14 16:53:53
- 在数学哲学和逻辑中，直觉主义（英语：Intuitionism），或者新直觉主义（Neointuitionism ）（对应于前直觉主义（Preintuitionism）），是用人类的构造性思维活动进行数学研究的方法。也可翻译成直
- #直觉主义
- 康托尔
- ✍ dations ◷ 2021-07-14 16:53:53
- 格奥尔格·费迪南德·路德维希·菲利普·康托尔（德语：Georg Ferdinand Ludwig Philipp Cantor，1845年3月3日－1918年1月6日），出生于俄国的德国数学家（波罗的海德国人）。他创立了现代
- #康托尔
- 可计算函数
- ✍ dations ◷ 2021-07-14 16:53:53
- 在可计算性理论中，可计算函数（computable function）或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体
- #可计算函数
- 数学哲学
- ✍ dations ◷ 2021-07-14 16:53:52
- 数学哲学是哲学的一个分支，研究数学中的哲学问题的学科。从毕达哥拉斯到康德的众多思想家都有许多数学哲学的重要思想，但作为专门学科直到十九世纪中叶以后才逐渐建立起来。着
- #数学哲学
- 模态逻辑
- ✍ dations ◷ 2021-07-14 16:53:52
- 模态逻辑，或者叫内涵逻辑（不很常见），是处理用模态如“可能”“或许”“可以”“一定”“必然”等限定的句子的逻辑。模态逻辑可以用语义的“内涵性”来描述其特征：复杂公式的真值
- #模态逻辑
- 语义网
- ✍ dations ◷ 2021-07-14 16:53:52
- 语义网（英语：Semantic Web）是由万维网联盟的蒂姆·伯纳斯-李（Tim Berners-Lee）在1998年提出的一个概念，它的核心是：通过给万维网上的文档（如: HTML文档）添加能够被计算机所理解的语义
- #语义网
- 可数集
- ✍ dations ◷ 2021-07-14 16:53:52
- 在数学上，可数集，或称可列集，是与自然数集的某个子集具有相同基数（等势）的集合。在这个意义下，可数集由有限可数集和可数无穷集组成。不是可数集的无穷集称为不可数集。这个术语是
- #可数集
- 形式逻辑
- ✍ dations ◷ 2021-07-14 16:53:51
- 逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究。逻辑被使用在大部分的
- #形式逻辑
- 二律背反
- ✍ dations ◷ 2021-07-14 16:53:51
- 二律背反是康德的哲学概念。意指对同一个对象或问题所形成的两种理论或学说虽然各自成立但却相互矛盾的现象，又译作二律背驰，相互冲突或自相矛盾。二律背反是康德在其代表作《
- #二律背反
- ∨
- ✍ dations ◷ 2021-07-14 16:53:51
- 逻辑或（logical or）又称逻辑析取（logical disjunction）、逻辑选言，是逻辑和数学概念中的一个二元逻辑算符。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个
- #∨
- 解释
- ✍ dations ◷ 2021-07-14 16:53:51
- 解释（explanation）是对事物的现象、过程、状态、道理等进行描述，以说明其含义、原因、理由等。这样的描述可能是建立在一定规则（如逻辑推理、科学分析）、法律基础之上的。解释也
- #解释
- 证据
- ✍ dations ◷ 2021-07-14 16:53:51
- 证据（英语：Evidence）是刑事诉讼法上，用来确定当事人主张为真实的证明。警察办案或是法院审理案子，一定证据确凿才能破案或将嫌犯判刑。证据之重要，可从华府著名华裔律师陶龙生（蒋介
- #证据
- 勒文海姆–斯科伦定理
- ✍ dations ◷ 2021-07-14 16:53:50
- 在数理逻辑中，经典 Löwenheim–Skolem 定理声称对于标识(signature)为
<
C
,
F
- #勒文海姆–斯科伦定理
- 描述逻辑
- ✍ dations ◷ 2021-07-14 16:53:50
- 描述逻辑（description logic）是一种用于知识表示的逻辑语言和以其为对象的推理方法，主要用于描述概念分类及其概念之间的关系。描述逻辑方法多数被用到涉及知识分类的应用领域，
- #描述逻辑
- 定理
- ✍ dations ◷ 2021-07-14 16:53:50
- 定理（英语：Theorem）是经过受逻辑限制的证明为真的陈述。一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有（全称）元素一
- #定理
- 一阶逻辑
- ✍ dations ◷ 2021-07-14 16:53:50
- 一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。过去一百多年，一阶逻辑出现过许多种名称，包括：一阶断言演算、低端断言演算、量化理论或谓词逻辑。一阶逻辑
- #一阶逻辑
- 直觉主义逻辑
- ✍ dations ◷ 2021-07-14 16:53:50
- 直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真
- #直觉主义逻辑
- 利德尔综合症
- ✍ dations ◷ 2021-07-14 16:14:22
- 李德尔氏综合征(Liddle's syndrome、假性醛固酮增多症)是常染色体显性遗传(Dominance (genetics))疾病、特征在于早期频繁严重的高血压，以及与低血浆肾素活性、代谢性碱中毒(
- #利德尔综合症
- 查洛特–玛丽亚氏–齿病X1
- ✍ dations ◷ 2021-07-14 16:14:25
- 进行性神经性腓骨肌萎缩症，即（Charcot-Marie-Tooth disease、C-M-T，又称腓骨肌萎缩症、恰克-马利-杜斯氏症），是以三位最早发现此病的法国研究者的姓氏共同命名的。其主要表现是双
- #查洛特–玛丽亚氏–齿病X1
- 水危机
- ✍ dations ◷ 2021-07-14 16:16:40
- 水危机是联合国及其他国际组织用来泛指自1970年以来世界性的水资源相对人类需求的状况，主要的危机来源是可用水的匮乏以及水体污染。地球的淡水资源有限，主要出现在蓄水层、表
- #水危机
- 卡门氏综合征
- ✍ dations ◷ 2021-07-14 16:22:19
- 卡尔曼综合征（英语：Kallmann syndrome）是一种罕见的遗传性疾病，其特点患者是无法进入青春期或青春期发育不完全。该疾病也伴随着嗅觉丧失或嗅觉减退。此种疾病男女皆可发病，但多
- #卡门氏综合征
- 白细胞介素-4
- ✍ dations ◷ 2021-07-14 16:29:37
- 1BBN、1BCN、1CYL、1HIJ、1HIK、1HZI、1IAR、1ITI、1ITL、1ITM、1RCB、2B8U、2B8X、2B8Y、2B8Z、2B90、2B91、2CYK、2D48、2INT、
- #白细胞介素-4
- 贫化铀
- ✍ dations ◷ 2021-07-14 16:31:45
- 贫铀，也称为贫化铀或耗乏铀或衰变铀等等，英文简写为DU，是一种主要由铀-238构成的物质，为核燃料制程中的的副产物，故也是一种核废料。自然界中的铀，含有约99.27%的铀-238、0.72%的
- #贫化铀
- 正统派
- ✍ dations ◷ 2021-07-14 16:41:25
- 犹太教正统派是犹太教中最大的宗派群体，是犹太教的保守派及传统淡系，在以色列拥有特殊地位。犹太教正统派内分三个支派，分别是极端正统派、现代正统派和哈西迪教派。犹太教正统
- #正统派
- Lycos
- ✍ dations ◷ 2021-07-14 16:44:32
- Lycos是一家互联网搜索引擎公司和门户网站。最早诞生于1994年麦克·马丁博士（Dr.Michael Mauldin）在Carnegie Mellon大学的一个搜索项目，当时的Lycos搜索引擎被用于该校的数字
- #Lycos
- 偏瘫
- ✍ dations ◷ 2021-07-14 16:47:10
- 轻偏瘫（英语：Hemi-paresis）是人体左右某一侧出现的麻痹的症状，最严重时将导致偏瘫（英语：Hemi-plegia），或称半身不遂，即半个身体的完全麻痹。这两种症状的成因有很多，既有先天原因也有
- #偏瘫
- 犹他－阿兹特克语系
- ✍ dations ◷ 2021-07-14 16:50:56
- 犹他-阿兹特克语系（Uto-Aztecan languages）是一个美洲原住民语言的语系。犹他-阿兹特克语系主要分布在北美大盆地地区（Great Basin）的美国俄勒冈州、爱达荷州、犹他州、加州、内
- #犹他－阿兹特克语系
共12352页
首页 11979 11980 11981 11982 11983 11984 11985 11986 11987 11988 尾页
