En el análisis matemático, se define a la aridad de un operador matemático o de una función como el número de argumentos necesarios para que dicho operador o función se pueda calcular.
Por ejemplo, el operador de suma "+" es un operador binario, porque necesita dos argumentos para poder realizar una suma.
Sin embargo, la función valor absoluto "| |" es un operador unario, porque sólo necesita un argumento.
Wikimedia foundation. 2010.
Aridad — Se define la aridad de un operador matemático o de una función como el número de argumentos necesarios para que dicho operador o función se pueda calcular. Por ejemplo, el operador de suma + es un operador binario, porque necesita dos argumentos… … Enciclopedia Universal
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Recursión primitiva — Saltar a navegación, búsqueda En Teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad. Se definen usando como principales… … Wikipedia Español
Álgebra relacional — El álgebra relacional es un conjunto de operaciones que describen paso a paso como computar una respuesta sobre las relaciones, tal y como éstas son definidas en el modelo relacional. Denominada de tipo procedimental, a diferencia del Cálculo… … Wikipedia Español
Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… … Wikipedia Español
Notación polaca — Notación polaca. La notación polaca, también conocida como notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, y el álgebra. Su característica distintiva es que coloca los operadores a la izquierda de… … Wikipedia Español
Operando — En matemáticas, un operando es una de las entradas (argumentos) de un operador. Por ejemplo, en es el operador, y son los operandos. La cantidad de operandos de un operador es denominada aridad. Basándose en la aridad, los operadores son… … Wikipedia Español
Vocabulario (lógica) — Saltar a navegación, búsqueda En lógica simbólica, un vocabulario es una tupla: que consta de r símbolos relacionales Ri, cada uno de ellos con un número entero ai asociado, el cual se conoce como la aridad de Ri; s símbolos funcionales fj, cada… … Wikipedia Español
Función booleana — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar … Wikipedia Español
Lenguaje Fril — Saltar a navegación, búsqueda Fril es un lenguaje de programación para el cálculo de predicados de primer orden. Trabaja con un subconjunto de la semántica del lenguaje Prolog pero no del estándar ISO PROLOG, sino con la sintaxis de micro Prolog … Wikipedia Español
