逻辑代数

✍ 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:17:14

磺胺（Sulfanilamide），即对氨基苯磺酰胺，是一种具有药用价值的有机物，最早在1908年由奥地利化学家保罗·雅各布·约瑟夫·杰尔莫（Paul Josef Jakob Gelmo）合成，并在1909年获得专利权

#磺胺

生育权

✍ dations ◷ 2021-07-14 16:19:59

生育权（英语：reproductive rights），又称生殖权利，是一项基本人权。1968年联合国国际人权会议通过的《德黑兰宣言》提出“父母享有自由负责决定子女人数及其出生时距之基本人权”

#生育权

食品安全

✍ dations ◷ 2021-07-14 16:32:48

食品安全是一门跨学科领域，专门探讨在食品加工、存储及销售等步骤中，各方能如何保障食品卫生与食用安全、降低疾病隐患及防范食物中毒。探讨者透过科学方法对于可能造成消费者

#食品安全

氧化锌

✍ dations ◷ 2021-07-14 16:35:25

氧化锌是锌的氧化物，难溶于水，可溶于酸和强碱。它是白色固体，故又称锌白。它能通过燃烧锌或焙烧闪锌矿（硫化锌）取得。在自然中，氧化锌是矿物红锌矿的主要成分。人造氧化锌有两种制

#氧化锌

芝加哥

✍ dations ◷ 2021-07-14 16:36:25

芝加哥（英语：Chicago），常被当地华人简称为芝城，位于美国中西部，属伊利诺伊州，为库克县县治，东临密歇根湖，辖区内人口272万。芝加哥及其郊区组成的大芝加哥地区，人口超过900万，是美国仅

#芝加哥

开福区

✍ dations ◷ 2021-07-14 16:38:50

开福区为湖南省长沙市辖区，位于长沙城区中东部，成立于1996年7月10日。辖境北与望城区接壤，东与长沙县为邻，南部与芙蓉区和天心区为界，西面隔湘江与望城区和岳麓区相望。辖域总面

#开福区

永福省

✍ dations ◷ 2021-07-14 16:39:13

永福省电子信息门户网站永福省（越南语：Tỉnh Vĩnh Phúc／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B",

#永福省

Gecko

✍ dations ◷ 2021-07-14 16:44:37

Gecko是一套自由及开放源代码、以C++编写的排版引擎，当前为Mozilla Firefox网页浏览器以及Mozilla Thunderbird电子邮件客户端等Mozilla基金会相关产品所使用。Gecko原本由网

#Gecko

髋骨

✍ dations ◷ 2021-07-14 16:47:34

髋骨为人体腰部的骨骼，共左右两块。幼年时，髋骨分为髂骨、坐骨和耻骨以及软骨连接。成年后，它们之间的软骨会骨化，成为一个整体，即髋骨。左髋骨、右髋骨、骶骨、尾骨以及它们之间

#髋骨

语法

✍ dations ◷ 2021-07-14 16:51:08

语法（英语：Grammar），也称文法，在语言学中指任意自然语言中句子、短语以及词等语法单位的语法结构与语法意义的规律，本质上即音义结合体之间的结合规律。对于语法的研究称为语法学

#语法

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