您的当前位置：领域 > 数理逻辑 领域
谓词演算 （信息通讯）
数理逻辑最基本的形式系统。又称一阶逻辑。一个可以回答真假的命题，不仅可以分析到简
概率逻辑 （数学 | 信息通讯）
归纳逻辑的一种现代类型。它的特点是运用现代的逻辑与数学工具，主要是运用数理逻辑与
命题代数 （信息通讯）
一阶理论 （信息通讯）
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统:(1)语
逻辑演算 （计算机概念 | 石材）
用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算
数学归纳法 （石材）
字母表 （其他文化相关）
大约公元前13世纪，腓尼基人创造了人类历史上第一批字母文字，共22个字母(无元音
出现 （词汇）
《出现》是韩国韩国SBS电视台于2010年制作的周末特别企划剧《秘密花园》插曲，
标号 （其他）
含义:给物品，文章等标序号(按1，2,3,4,5,6,。。。。的顺序标)，使物品
逻辑类型论 （数理逻辑中的学派）
为了解决第三次数学危机， 罗素提出了逻辑主义的纲领， 并得到一些著名的逻辑学家的
逻辑表达式 （数理逻辑）
逻辑运算又称布尔运算。布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式
数学基础 （数理逻辑）
数学基础(Foundation of Mathematics)是研究整个数学的理
归纳逻辑 （数理逻辑）
归纳逻辑在一般的逻辑教课书上通常被定义为，从特殊到一般的逻辑推理，也常被称之谓一
判定问题 （其他科学相关）
判定问题是数理逻辑中的一个重要问题。它表现为寻求一种能行的方法、一种机械的程序或
一阶逻辑 （计算机概念）
一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性;所以
存在量词 （数理逻辑）
短语有些、至少有一个、有一个、存在等都有表示个别或一部分的含义，这样的词叫作存在
全称量词 （其他数学相关）
全称量词是指在语句中含有短语"所有"、"每一个"、"全部"、"一切"等都是在指定
重言式 （其他数学相关）
重言式(Tautology )又称为永真式，它的汉语拼音为:[Chóng yán
逻辑符号 （其他语言学相关）
逻辑符号是逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。传统形式逻辑就已
量词 （词汇）
通常用来表示人、事物或动作的数量单位的词，叫做量词。如头、匹、条等。通常用来表示
配对 （词汇）
生物学中联会现象亦称配对，指同源染色体两两配对.在细胞减数分裂前期的偶线期，来自
数理逻辑 （其他数学相关）
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。数理逻辑又称符号
完全性 （疾病 | 电器电子）
完全性，是形式系统的基本性质之一。语法分别具有强意义和弱意义。语义完全性分别具有
赋值 （信息通讯）
将某一数值赋给某个变量的过程，称为赋值。
跃变 （物理学 | 信息通讯）
跃变就是指物体的物理量从有限值变为无限值的过程。物理量包括质量、体积、密度、温度
谓词 （外语|词汇）
谓词，用来描述或判定客体性质、特征或者客体之间关系的词项。根据《现代汉语》的定义
合取范式 （计算机概念 | 信息通讯）
合取范式(conjunctive normal form)，命题公式的一种标准形
逻辑运算 （信息通讯）
逻辑运算又称布尔运算 布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式
多值逻辑 （计算机概念 | 信息通讯）
格值逻辑是把线序多值逻辑推广到任意格值上去，其中布尔值逻辑(见逻辑代数)就是一种
命题演算 （科学 | 信息通讯）
递归函数 （函数 | 信息通讯）
选择函数 （函数 | 信息通讯）
选择函数是一个函数f，其定义域X为一堆非空集合组成的集合，且对每一于X内的S，f
控制函数 （电子工程）
控制函数是一种特殊函数.是递归证明中常用的一种函数.若对某个a和任何x}a，均有
非标准模型 （物理学 | 机械）
在粒子物理学里，标准模型(英语:Standard Model, SM)是一套描述
析取范式 （计算机概念）
在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化(或规范化)，它是合取子句的析
语法 （语言学 分支）
语法是语言学的一个分支，研究按确定用法来运用的 词类 、 词 的屈折变化或表示相
自动机 （生活日用品 | 自动化）
计算机控制系统的控制程序具有有限状态自动机(FA)的特征，可以用有限状态机理论来
加速 （词汇）
加速是一个汉语词汇，读音jiāsù，意思是一个运动的物体每秒钟内产生的速度由低到
直觉主义 （其他数学相关）
直觉主义(intuitionism) 强调直觉或直观在认识中的作用的思潮和学说。
语义 （生活日用品|信息技术）
数据的含义就是语义(semantic)。简单的说，数据就是符号。数据本身没有任何