表达式-一流百科

增量赋值

增量赋值增量赋值（或复合赋值）是某些编程语言（尤其是从 C 派生的语言）中赋予某些赋值运算符的名称。增广赋值通常用于替换语句，其中运算符将变量作为其...

词条百科

副作用 (计算机科学)

副作用 (计算机科学)在计算机科学中，如果一个操作、函数或表达式在其局部环境之外修改了某些状态变量值，则称其具有副作用，也就是说，除了返回 a 的主要效...

词条百科

自由变量和约束变量

自由变量和约束变量在数学以及涉及形式语言的其他学科（包括数理逻辑和计算机科学）中，自由变量是一种符号（符号），它指定表达式中可能发生替换的位置，并...

词条百科

类型安全

类型安全在计算机科学中，类型安全和类型健全是指一种编程语言阻止或防止类型错误的程度。类型安全有时也被认为是一种计算机语言设施的属性；也就是说，有些...

词条百科

类型推理

类型推理类型推理是指在形式语言中自动检测表达式的类型。这些语言包括编程语言和数学类型系统，但也包括计算机科学和语言学某些分支中的自然语言。非技术性...

词条百科

F系统

什么是F系统F系统（也称多态λ微积分或二阶λ微积分）是一种类型化的λ微积分，它在简单的类型化λ微积分中引入了一种对类型进行普遍量化的机制。F系统将编程语言...

词条百科

Tseytin变换

简介Tseytin变换，也可以写成Tseitin变换，把一个任意的组合逻辑电路作为输入，产生一个共轭正常形式（CNF）的布尔公式，可以用CNF-SAT求解器来解决。公式的...

词条百科

卡诺图

什么是卡诺图卡诺图（KM或K-map）是一种简化布尔代数表达式的方法。卡诺（MauriceKarnaugh）于1953年提出，作为爱德华-维奇（EdwardW.Veitch）1952年提出的维...

词条百科

直接函数

什么是直接函数直接函数（dfn，发音为deefun）是编程语言APL中定义函数和运算符（高阶函数）的一种替代方式。直接运算符也可以被称为dop（发音为deeop）。它...

词条百科

解析表达式语法

简介在计算机科学中，解析表达式语法（PEG）是一种分析形式语法，即它用一套识别语言中的字符串的规则来描述一种形式语言。这种形式主义是由BryanFord在2004...

词条百科

基因表达编程

基因表达编程在计算机编程中，基因表达编程（GEP）是一种创建计算机程序或模型的进化算法。这些计算机程序是复杂的树状结构，通过改变其大小、形状和组成来学...

词条百科