Indice
14 relazioni: Counting quantifier, Decidibilità, Formula ben formata, Grafo, Informatica, Logica descrittiva, Logica matematica, Predicato funzionale, Se e solo se, Teoria del primo ordine, Teoria della complessità computazionale, Unicità, Università di Montréal, Variabile proposizionale.
Counting quantifier
Un counting quantifier è un quantificatore della forma "esistono almeno k elementi che soddisfano la proprietà X ". Nella logica del primo ordine possono essere definiti mediante i quantificatori ordinari, quindi si tratta di una notazione più compatta.
Vedere Logica a due variabili e Counting quantifier
Decidibilità
Il concetto di decidibilità si trova in logica matematica e in teoria della computabilità con accezioni differenti.
Vedere Logica a due variabili e Decidibilità
Formula ben formata
Nella logica matematica si chiama formula ben formata o - brevemente - FBF di un sistema formale una stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica del sistema formale stesso.
Vedere Logica a due variabili e Formula ben formata
Grafo
I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi. In ambito matematico il loro studio, la teoria dei grafi, costituisce un'importante parte della combinatoria; i grafi inoltre sono utilizzati in aree come topologia, teoria degli automi, funzioni speciali, geometria dei poliedri, algebre di Lie.
Vedere Logica a due variabili e Grafo
Informatica
Linformatica è la scienza o disciplina che si occupa del trattamento dell'informazione mediante procedure automatizzate, avendo in particolare per oggetto lo studio dei fondamenti teorici dell'informazione, della sua computazione a livello logico e delle tecniche pratiche per la sua implementazione e applicazione in sistemi elettronici automatizzati detti quindi sistemi informatici; come tale è una disciplina fortemente connessa con la logica matematica, l'automatica, l'elettronica e anche l'elettromeccanica.
Vedere Logica a due variabili e Informatica
Logica descrittiva
Le logiche descrittive (indicate anche con la sigla DL, dall'inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.
Vedere Logica a due variabili e Logica descrittiva
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 a due variabili e Logica matematica
Predicato funzionale
In logica matematica, per predicato funzionale o formula funzionale o simbolo funzionale in x si intende un predicato Phi(x,y), in cui le variabili x ed y occorrono libere, avente la seguente proprietà: forall xBigl(exists ybigl(Phi(x,y)bigr) Rightarrow forall zbigl(Phi(x,z) Rightarrow (z.
Vedere Logica a due variabili e Predicato funzionale
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 a due variabili 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 a due variabili e Teoria del primo ordine
Teoria della complessità computazionale
La teoria della complessità computazionale è una branca della teoria della computabilità che studia le risorse minime necessarie (principalmente tempo di calcolo e memoria) per la risoluzione di un problema.
Vedere Logica a due variabili e Teoria della complessità computazionale
Unicità
In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza.
Vedere Logica a due variabili e Unicità
Università di Montréal
LUniversità di Montréal (francese: Université de Montréal) è un'università in lingua francese, uno dei quattro atenei della città di Montréal, principale città della provincia canadese del Québec.
Vedere Logica a due variabili e Università di Montréal
Variabile proposizionale
Nella logica matematica, una variabile proposizionale (chiamata anche variabile enunciativa) è una variabile di input (che può essere vera o falsa) di una funzione di verità.