13 les relacions: Amir Pnueli, Aristòtil, Connectiva lògica, Informàtica, Lògica de primer ordre, Lògica modal, Lira italiana, Operació binària, Operació unària, Operador matemàtic, Quantificador existencial, Quantificador universal, Temps.
Amir Pnueli
Amir Pnueli (אמיר פנואלי) fou un informàtic israelià que va guanyar el premi Turing de 1996.
Nou!!: Lògica temporal і Amir Pnueli · Veure més »
Aristòtil
Aristòtil (Estagira, Grècia, 384 aC - Eubea, Grècia, 322 aC) va ser un filòsof de l'antiga Grècia.
Nou!!: Lògica temporal і Aristòtil · Veure més »
Connectiva lògica
En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels àtoms.
Nou!!: Lògica temporal і Connectiva lògica · Veure més »
Informàtica
Ordinador executant la distribució Debian del sistema operatiu GNU/Linux. (any 2002) La Informàtica és la ciència o tècnica relativa a la tecnologia que estudia el tractament automàtic de la informació utilitzant dispositius electrònics i sistemes computacionals.
Nou!!: Lògica temporal і Informàtica · Veure més »
Lògica de primer ordre
La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre.
Nou!!: Lògica temporal і Lògica de primer ordre · Veure més »
Lògica modal
La lògica modal és un sistema formal que intenta capturar el comportament deductiu d'algun grup d'operadors modals.
Nou!!: Lògica temporal і Lògica modal · Veure més »
Lira italiana
La lira italiana (en italià lira, plural lire) va ser la unitat monetària oficial d'Itàlia des del 1861 fins a la introducció de l'euro el primer de gener del 1999, i fou retirada definitivament de la circulació el 28 de febrer del 2002.
Nou!!: Lògica temporal і Lira italiana · Veure més »
Operació binària
Esquema d'operació binària Una operació binària és aquella que està aplicada a dos objectes.
Nou!!: Lògica temporal і Operació binària · Veure més »
Operació unària
Es defineix com a operació unària aquella operació matemàtica, que només necessita l'operador i un únic operand (argument) perquè es pugui calcular un valor.
Nou!!: Lògica temporal і Operació unària · Veure més »
Operador matemàtic
Un operador matemàtic és un operador usat en matemàtiques.
Nou!!: Lògica temporal і Operador matemàtic · Veure més »
Quantificador existencial
En lògica matemàtica, es fa servir el símbol: \exists, anomenat quantificador existencial, anteposat a una variable per dir que hi ha almenys un element del conjunt a què fa referència la variable, que compleix la proposició escrita a continuació.
Nou!!: Lògica temporal і Quantificador existencial · Veure més »
Quantificador universal
En lògica matemàtica, es fa servir el símbol \forall, anomenat quantificador universal, anteposat a una variable per dir que "per a tot" element d'un cert conjunt es compleix la proposició donada a continuació.
Nou!!: Lògica temporal і Quantificador universal · Veure més »
Temps
Deu segons en un rellotge ''Montinari Milano'' El temps és un concepte físic que tots experimentem quotidianament, però que resulta difícil de definir formalment.
Nou!!: Lògica temporal і Temps · Veure més »