Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Lógica temporal

Índice Lógica temporal

La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo.

14 relaciones: Aristóteles, Conectiva lógica, Cuantificador existencial, Cuantificador universal, Estructura de Kripke, ITL, Lógica de primer orden, Lógica modal, Lógica temporal lineal, Litas lituana, MIT Press, Operación binaria, Operación unaria, Operador.

Aristóteles

Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.

¡Nuevo!!: Lógica temporal y Aristóteles · Ver más »

Conectiva lógica

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

¡Nuevo!!: Lógica temporal y Conectiva lógica · Ver más »

Cuantificador existencial

En el lenguaje de predicados en lógica matemática, se usa el símbolo: \exists, llamado cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un elemento del conjunto, B, al que hace referencia la variable, que cumple la proposición escrita a continuación.

¡Nuevo!!: Lógica temporal y Cuantificador existencial · Ver más »

Cuantificador universal

En lógica, se usa el símbolo \forall, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.

¡Nuevo!!: Lógica temporal y Cuantificador universal · Ver más »

Estructura de Kripke

Una estructura de Kripke es una variación del sistema de transición, originalmente propuesta por Saul Kripke, usada en Verificación de modelos.

¡Nuevo!!: Lógica temporal y Estructura de Kripke · Ver más »

ITL

ITL puede referirse a.

¡Nuevo!!: Lógica temporal e ITL · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, 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.

¡Nuevo!!: Lógica temporal y Lógica de primer orden · Ver más »

Lógica modal

Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.

¡Nuevo!!: Lógica temporal y Lógica modal · Ver más »

Lógica temporal lineal

En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo.

¡Nuevo!!: Lógica temporal y Lógica temporal lineal · Ver más »

Litas lituana

La litas lituana (ISO 4217: LTL, en lituano plural litai o litų) fue la moneda oficial de Lituania desde el 25 de junio de 1993 hasta El 31 de diciembre de 2014, cuando fue definitivamente substituida por el euro.

¡Nuevo!!: Lógica temporal y Litas lituana · Ver más »

MIT Press

MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).

¡Nuevo!!: Lógica temporal y MIT Press · Ver más »

Operación binaria

Se define como operación binaria (o ley de composición) aquella operación matemática, que necesita el operador y dos operandos (argumentos) para que se calcule un valor.

¡Nuevo!!: Lógica temporal y Operación binaria · Ver más »

Operación unaria

Se define como operación unaria aquella operación matemática que sólo necesita el operador y un único operando (argumento) para que se pueda calcular un valor.

¡Nuevo!!: Lógica temporal y Operación unaria · Ver más »

Operador

En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones.

¡Nuevo!!: Lógica temporal y Operador · Ver más »

Redirecciona aquí:

Logica temporal, Logica tensa, Lógica tensa.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »