您的当前位置：领域 > 数理逻辑 领域
数学归纳法 （石材）
数学基础 （数理逻辑）
数学基础(Foundation of Mathematics)是研究整个数学的理
一阶逻辑 （计算机概念）
一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性;所以
逻辑演算 （计算机概念 | 石材）
用形式化方法处理逻辑推理，特别是数学中所用推理。由于形式化了的推理过程与代数演算
概率逻辑 （数学 | 信息通讯）
归纳逻辑的一种现代类型。它的特点是运用现代的逻辑与数学工具，主要是运用数理逻辑与
重言式 （其他数学相关）
重言式(Tautology )又称为永真式，它的汉语拼音为:[Chóng yán
逻辑符号 （其他语言学相关）
逻辑符号是逻辑学中用以表示逻辑形式和逻辑运算的各种人工语言符号。传统形式逻辑就已
量词 （词汇）
通常用来表示人、事物或动作的数量单位的词，叫做量词。如头、匹、条等。通常用来表示
跃变 （物理学 | 信息通讯）
跃变就是指物体的物理量从有限值变为无限值的过程。物理量包括质量、体积、密度、温度
谓词 （外语|词汇）
谓词，用来描述或判定客体性质、特征或者客体之间关系的词项。根据《现代汉语》的定义
选择函数 （函数 | 信息通讯）
选择函数是一个函数f，其定义域X为一堆非空集合组成的集合，且对每一于X内的S，f
加速 （词汇）
加速是一个汉语词汇，读音jiāsù，意思是一个运动的物体每秒钟内产生的速度由低到
配对 （词汇）
生物学中联会现象亦称配对，指同源染色体两两配对.在细胞减数分裂前期的偶线期，来自
控制函数 （电子工程）
控制函数是一种特殊函数.是递归证明中常用的一种函数.若对某个a和任何x}a，均有
完全性 （疾病 | 电器电子）
完全性，是形式系统的基本性质之一。语法分别具有强意义和弱意义。语义完全性分别具有
自动机 （生活日用品 | 自动化）
计算机控制系统的控制程序具有有限状态自动机(FA)的特征，可以用有限状态机理论来
赋值 （信息通讯）
将某一数值赋给某个变量的过程，称为赋值。
逻辑运算 （信息通讯）
逻辑运算又称布尔运算 布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式
命题演算 （科学 | 信息通讯）
递归函数 （函数 | 信息通讯）
非标准模型 （物理学 | 机械）
在粒子物理学里，标准模型(英语:Standard Model, SM)是一套描述
数理逻辑 （其他数学相关）
形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。数理逻辑又称符号
语法 （语言学 分支）
语法是语言学的一个分支，研究按确定用法来运用的 词类 、 词 的屈折变化或表示相
合取范式 （计算机概念 | 信息通讯）
合取范式(conjunctive normal form)，命题公式的一种标准形
多值逻辑 （计算机概念 | 信息通讯）
格值逻辑是把线序多值逻辑推广到任意格值上去，其中布尔值逻辑(见逻辑代数)就是一种
直觉主义 （其他数学相关）
直觉主义(intuitionism) 强调直觉或直观在认识中的作用的思潮和学说。
析取范式 （计算机概念）
在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化(或规范化)，它是合取子句的析
语义 （生活日用品|信息技术）
数据的含义就是语义(semantic)。简单的说，数据就是符号。数据本身没有任何
形式语言 （生活日用品 | 信息通讯）
数学、逻辑和计算机科学中，形式语言(英语:Formal language)是用精
精细结构 （机械）
精细结构
元语言 （图书 | 信息通讯）
元语言，当我们谈论一种语言时，我们所使用的语言被称为元语言。
计算 （词汇）
计算，汉语词语，有 核算数目，根据已知量算出未知量;运算 和 考虑;谋虑 两种含
形式主义 （其他文学相关）
形式主义(formalism)，指在艺术、文学、与哲学上，对形式而非内容的着重。
理论 （词汇）
理论：汉语词语，指人们关于客观世界规律的理解和论述。【词目】理论
分叉 （图书）
分叉(fēnchà)表示在一特定点分成或发展成或比拟为叉子或枝条的东西。例如头发
解释 （词条暂无分类）
解释【拼音】 jiě shì【注音】ㄐㄧㄝ ˇ ㄕㄧˋ解释，就是在观察的基础上进
范式 （图书）
范式是符合某一种级别的关系模式的集合。关系数据库中的关系必须满足一定的要求，满足
图灵机 （计算机概念）
图灵机，又称图灵计算、图灵计算机，是由数学家阿兰·麦席森·图灵(1912~195
聚合 （汉语词汇）
拼音：jùhé动 ①聚集到一起。 ②指单体合成为分子量较大的化合物。生成的高分子
间隙 （词汇）
间隙，是指两个事物之间的空间或时间的距离。见《国语·晋语八》: 及文子成晋、荆之