¡Más rápido que el navegador!
24 relaciones: Amir Pnueli, Arthur Prior, Christopher Isham, Constante lógica, Dana Scott, Dualidad (matemática), Estoicismo, Estructura de Kripke, Filosofía de la lógica, Hipótesis de simulación, Interpretación temporal y de sistema único, Lógica, Lógica filosófica, Lógica híbrida, Lógica modal, Lógica proposicional, Lógica temporal lineal, Leslie Lamport, Mónada (programación funcional), Nuel Belnap, Suficientemente grande, Teoría B del tiempo, Verificación de modelos, Verificación formal.
Amir Pnueli
Amir Pnueli (n. 22 de abril de 1941 - 2 de noviembre de 2009) fue un científico de la computación israelí que recibió el Premio Turing de la ACM en 1996 por trabajo original que introdujo la lógica temporal en las ciencias de la computación, y por sobresalientes contribuciones a la verificación de programas y sistemas.
¡Nuevo!!: Lógica temporal y Amir Pnueli · Ver más »
Arthur Prior
Arthur Norman Prior (Masterton, Nueva Zelanda, 4 de diciembre de 1914 – Trondheim, Noruega, 6 de octubre de 1969) fue un lógico y filósofo neozelandés.
¡Nuevo!!: Lógica temporal y Arthur Prior · Ver más »
Christopher Isham
Christopher Isham, también citado como Chris J. Isham o C. J. Isham, (* 28 de abril de 1944) es un físico teórico británico que se dedica a la física matemática, especialmente a la gravedad cuántica y a los fundamentos de la mecánica cuántica.
¡Nuevo!!: Lógica temporal y Christopher Isham · Ver más »
Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,Véase la introducción de y por extensión la validez o invalidez de los argumentos.
¡Nuevo!!: Lógica temporal y Constante lógica · Ver más »
Dana Scott
Dana Stewart Scott (nacido en 1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en Berkeley, California.
¡Nuevo!!: Lógica temporal y Dana Scott · Ver más »
Dualidad (matemática)
En matemáticas, una dualidad, en términos generales, traduce conceptos, teoremas o estructuras matemáticas en otros conceptos, teoremas o estructuras, mediante una correspondencia uno a uno, a menudo (pero no siempre) por medio de una operación de involución: si el dual de A es B, entonces el dual de B es A. Tales involuciones a veces tienen puntos fijos, de modo que el dual de A es A en sí mismo.
¡Nuevo!!: Lógica temporal y Dualidad (matemática) · Ver más »
Estoicismo
El estoicismo es una escuela filosófica fundada por Zenón de Citio en Atenas a principios del Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural.
¡Nuevo!!: Lógica temporal y Estoicismo · 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 »
Filosofía de la lógica
La filosofía de la lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica.
¡Nuevo!!: Lógica temporal y Filosofía de la lógica · Ver más »
Hipótesis de simulación
La hipótesis de la simulación, argumento de simulación o simulismo, propone que toda la existencia es una realidad simulada, como una simulación computarizada.
¡Nuevo!!: Lógica temporal e Hipótesis de simulación · Ver más »
Interpretación temporal y de sistema único
La Nueva Interpretación o Interpretación temporal y de sistema único (TSSI de sus siglas en inglés: Temporal single-system interpretation) de la teoría del valor de Karl Marx surgió a principios de la década de 1980 en respuesta a renovadas acusaciones de que su teoría estaba "desgarrada por inconsistencias internas" y que, por lo tanto, debía ser rechazada o corregida.
¡Nuevo!!: Lógica temporal e Interpretación temporal y de sistema único · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lógica temporal y Lógica · Ver más »
Lógica filosófica
Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal.
¡Nuevo!!: Lógica temporal y Lógica filosófica · Ver más »
Lógica híbrida
La lógica híbrida es un tipo de extensión de la lógica modal proposicional con mayor poder expresivo, aunque sin llegar a ser una lógica de primer orden.
¡Nuevo!!: Lógica temporal y Lógica híbrida · 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 proposicional
La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Lógica temporal y Lógica proposicional · 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 »
Leslie Lamport
Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense.
¡Nuevo!!: Lógica temporal y Leslie Lamport · Ver más »
Mónada (programación funcional)
En la programación funcional, una mónada (monad en inglés), es un patrón de diseño que representa cálculos definidos como una secuencia de pasos, permitiendo componer funciones con tipos incompatibles encapsulándolos en un tipo monádico.
¡Nuevo!!: Lógica temporal y Mónada (programación funcional) · Ver más »
Nuel Belnap
Nuel D. Belnap, Jr. (n., Evanston, Illinois) es un filósofo y lógico estadounidense que ha realizado importantes aportes en el campo de la filosofía de la lógica, lógica temporal, y teoría de la demostración estructural.
¡Nuevo!!: Lógica temporal y Nuel Belnap · Ver más »
Suficientemente grande
En las áreas matemáticas de la teoría de números y del análisis, se dice que una sucesión o función infinita posee cierta propiedad a partir de una instancia suficientemente grande, si no tiene dicha propiedad en todos sus elementos ordenados, pero la tendrá después de haber sobrepasado una determinada instancia, y también se puede extender a la clase de propiedades que se aplican a los elementos de cualquier conjunto ordenado (como secuencias y subconjuntos de \mathbb).
¡Nuevo!!: Lógica temporal y Suficientemente grande · Ver más »
Teoría B del tiempo
La teoría B del tiempo es el nombre dado a una de las dos posiciones con respecto a la filosofía del tiempo.
¡Nuevo!!: Lógica temporal y Teoría B del tiempo · Ver más »
Verificación de modelos
La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.
¡Nuevo!!: Lógica temporal y Verificación de modelos · Ver más »
Verificación formal
La verificación formal, en ingeniería y en computación, es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica) en el que, partiendo de un conjunto axiomático, reglas de inferencia y algún lenguaje lógico (como la lógica de primer orden), se puede encontrar una demostración o prueba de corrección de un programa, algoritmo, etc, aunque también se puede encontrar su refutación.
¡Nuevo!!: Lógica temporal y Verificación formal · Ver más »
Redirecciona aquí:
Logica temporal, Logica tensa, Lógica tensa.
