12 relazioni: Algebra di Boole, Charles Sanders Peirce, Diagramma, Grafo, Grafo concettuale, Harvard University Press, Hilary Putnam, Isomorfismo, Logica modale, Logica proposizionale, Notazione, Teoria del primo ordine.
Algebra di Boole
L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.
Nuovo!!: Grafo esistenziale e Algebra di Boole · Mostra di più »
Charles Sanders Peirce
Conosciuto per i suoi contributi, oltre che alla logica anche all'epistemologia, Peirce è stato un importante studioso, considerato fondatore del pragmatismo e uno dei padri della moderna semiotica (o teoria del segno, inteso come atto di comunicazione).
Nuovo!!: Grafo esistenziale e Charles Sanders Peirce · Mostra di più »
Diagramma
Un diagramma è una rappresentazione simbolica di dati che si prefigge lo scopo di renderli facilmente consultabili, elaborato graficamente secondo convenzioni prestabilite.
Nuovo!!: Grafo esistenziale e Diagramma · Mostra di più »
Grafo
Grafo (non orientato) con 6 nodi e 5 archi I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi.
Nuovo!!: Grafo esistenziale e Grafo · Mostra di più »
Grafo concettuale
Un grafo concettuale è una notazione logica basata sui grafi esistenziali di Charles Sanders Peirce e le reti semantiche usate in intelligenza artificiale.
Nuovo!!: Grafo esistenziale e Grafo concettuale · Mostra di più »
Harvard University Press
La Harvard University Press (HUP) è una casa editrice universitaria statunitense.
Nuovo!!: Grafo esistenziale e Harvard University Press · Mostra di più »
Hilary Putnam
Il suo percorso intellettuale si snoda, assumendo varie sfaccettature, attraverso tutta la seconda metà del Novecento.
Nuovo!!: Grafo esistenziale e Hilary Putnam · Mostra di più »
Isomorfismo
In matematica, in particolare in algebra astratta, un isomorfismo (dal greco ἴσος, isos, che significa uguale, e μορφή, morphé, che significa forma) è un'applicazione biunivoca fra oggetti matematici tale che l'applicazione e la sua inversa siano omomorfismi.
Nuovo!!: Grafo esistenziale e Isomorfismo · Mostra di più »
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.
Nuovo!!: Grafo esistenziale e Logica modale · Mostra di più »
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...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.
Nuovo!!: Grafo esistenziale e Logica proposizionale · Mostra di più »
Notazione
Con il termine notazione ci si può riferire a diversi significati.
Nuovo!!: Grafo esistenziale e Notazione · Mostra di più »
Teoria del primo ordine
Nella logica matematica una teoria del primo ordine è 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.
Nuovo!!: Grafo esistenziale e Teoria del primo ordine · Mostra di più »