Indice
18 relazioni: Algebra elementare, Amir Pnueli, Edsger Dijkstra, Filosofia, Formula atomica, Funzione identità, Giuseppe Peano, Intelligenza artificiale, Linguaggio di programmazione, Linguistica, Logica di Hoare, Logica matematica, Logica modale, Logica proposizionale, Mondo possibile, Principio d'induzione, Se e solo se, Teoria del primo ordine.
- Logica modale
- Logica nell'informatica
- Logica non classica
Algebra elementare
Lalgebra elementare è la branca della matematica che studia il calcolo letterale, cioè studia i monomi e i polinomi ed estende ad essi le operazioni aritmetiche, dette in questo contesto operazioni algebriche.
Vedere Logica dinamica e Algebra elementare
Amir Pnueli
Ha ricevuto il Premio Turing nel 1996. Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca.
Vedere Logica dinamica e Amir Pnueli
Edsger Dijkstra
Edsger Wybe Dijkstra nacque a Rotterdam l'11 maggio del 1930. Suo padre, Douwe Wybe Dijkstra, fu un professore di chimica alle scuole superiori e servì come presidente della Dutch Chemical Society.
Vedere Logica dinamica e Edsger Dijkstra
Filosofia
La filosofia (philosophía, composto di φιλεῖν (phileîn), "amare", e σοφία (sophía), "sapienza" o "saggezza", ossia "amore per la sapienza") è lo studio sistematizzato di questioni generali e fondamentali, come quelle sull'esistenza, il senso della vita, la ragione, la conoscenza, i valori, la mente e il linguaggio.
Vedere Logica dinamica e Filosofia
Formula atomica
Nella logica matematica, una formula atomica (nota anche come formula prima) è una formula priva di una struttura proposizionale più profonda, cioè una formula che non contiene connettivi logici o equivalentemente una formula che non ha sottoinsiemi di formule rigorose.
Vedere Logica dinamica e Formula atomica
Funzione identità
In matematica si chiama funzione identità su un insieme X la funzione che associa ad ogni elemento l'elemento stesso. La funzione identità su X si indica con mathrm_X.
Vedere Logica dinamica e Funzione identità
Giuseppe Peano
Fra i maggiori matematici del periodo a cavallo fra XIX e XX secolo, fu anche l'ideatore del latino sine flexione, una lingua ausiliaria internazionale derivata dalla semplificazione del latino classico.
Vedere Logica dinamica e Giuseppe Peano
Intelligenza artificiale
Lintelligenza artificiale (in sigla IA o AI, dall'inglese Artificial Intelligence), nel suo significato più ampio, è la capacità (o il tentativo) di un sistema artificiale (tipicamente un sistema informatico) di simulare l'intelligenza umana attraverso l'ottimizzazione di funzioni matematiche.
Vedere Logica dinamica e Intelligenza artificiale
Linguaggio di programmazione
Un linguaggio di programmazione è un sistema di notazione per la scrittura di programmi per computer. La maggior parte dei linguaggi di programmazione sono linguaggi formali basati su testo, ma possono anche essere grafici.
Vedere Logica dinamica e Linguaggio di programmazione
Linguistica
La linguistica è lo studio scientifico del linguaggio verbale umano e delle sue strutture. Essa include lo studio della fonetica, della grammatica, del lessico, della morfologia, della sintassi e della testualità.
Vedere Logica dinamica e Linguistica
Logica di Hoare
La logica di Hoare è un sistema formale che rientra tra le semantiche assiomatiche pubblicato per la prima volta nel 1969 da C. A. R. Hoare che si prefigge, definendo un insieme iniziale di assiomi e di regole su di essi, di valutare la correttezza di programmi utilizzando il rigore dei formalismi matematici.
Vedere Logica dinamica e Logica di Hoare
Logica matematica
La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.
Vedere Logica dinamica e Logica matematica
Logica modale
Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.
Vedere Logica dinamica e Logica modale
Logica proposizionale
La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...).
Vedere Logica dinamica e Logica proposizionale
Mondo possibile
Un mondo possibile è un modo completo e coerente in cui il mondo è (mondo attuale) o avrebbe potuto essere. I mondi possibili sono ampiamente usati come strumento formale della logica, della filosofia e della linguistica per fornire una semantica per la logica intensionale e modale.
Vedere Logica dinamica e Mondo possibile
Principio d'induzione
Il principio d'induzione (da non confondersi con il metodo di induzione) è un enunciato sui numeri naturali che in matematica trova un ampio impiego nelle dimostrazioni, per provare che una certa proprietà è valida per tutti i numeri interi.
Vedere Logica dinamica e Principio d'induzione
Se e solo se
In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.
Vedere Logica dinamica e Se e solo se
Teoria del primo ordine
Nella logica matematica, una teoria del primo ordine (o calcolo dei predicati) è un particolare sistema formale, cioè una teoria formale, in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
Vedere Logica dinamica e Teoria del primo ordine
Vedi anche
Logica modale
- Collasso modale
- Errore dell'ambito modale
- Essenza (filosofia)
- Formula di Barcan
- Formula di Buridano
- Futuribile
- Logica aletica
- Logica deontica
- Logica dimostrativa
- Logica dinamica
- Logica ibrida
- Logica modale
- Logica modale classica
- Logica modale epistemica
- Logica modale normale
- Logica modale regolare
- Mondo possibile
- Operatore modale
- Profondità modale
- Prova ontologica di Gödel
- S5 (logica modale)
Logica nell'informatica
- Aritmetica di Presburger
- Asserzione (informatica)
- Assiomi di Peano
- Backward chaining
- Base di connettivi
- Bisimulazione
- Circuito booleano
- Circuito combinatorio
- Circuito sequenziale
- Clausola di Horn
- Logica combinatoria
- Logica della computabilità
- Logica dinamica
- Logica fuzzy
- Logica intuizionista
- Mappa di Karnaugh
- Model checking
- Postcondizione
- Precondizione
- Race condition
- Ragionamento automatico
- Riscrittura
- Semantica denotazionale
- Semantica formale
- Semantica operazionale
- Soddisfacibilità booleana
- Teoria dei tipi intuizionista
- Verifica formale