Indice
15 relazioni: Augustus De Morgan, George Boole, Insieme, Interpretazione (logica), Modello matematico, Numero naturale, Numero reale, Proposizione (logica), Quantificatore, Scienze formali, Semantica, Teoria dei modelli, Teoria dei numeri, Teoria del primo ordine, The Laws of Thought.
Augustus De Morgan
A lui si devono i teoremi di De Morgan che sono alla base dei sistemi logici elettronici ed informatici. Per primo introdusse il termine induzione matematica e ne rese rigoroso il concetto.
Vedere Dominio del discorso e Augustus De Morgan
George Boole
La sua opera influenzò anche settori della filosofia e diede vita alla scuola degli algebristi della logica.
Vedere Dominio del discorso e George Boole
Insieme
In matematica, una collezione di elementi rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque elemento fa parte o no del raggruppamento.
Vedere Dominio del discorso e Insieme
Interpretazione (logica)
Uninterpretazione è l'assegnazione di un significato ai simboli di un linguaggio formale. Molti linguaggi formali usati in matematica, logica e informatica teorica sono definiti esclusivamente in termini sintattici e come tali non hanno alcun significato fino a quando non vengono interpretati.
Vedere Dominio del discorso e Interpretazione (logica)
Modello matematico
Un modello matematico è una rappresentazione quantitativa di un fenomeno naturale. Come tutti gli altri modelli usati nella scienza, il suo scopo è quello di rappresentare il più incisivamente possibile un determinato oggetto, un fenomeno reale o un insieme di fenomeni (modello matematico di un sistema fisico, sistema chimico o sistema biologico).
Vedere Dominio del discorso e Modello matematico
Numero naturale
In matematica i numeri naturali sono quei numeri usati per contare e ordinare. Nel linguaggio comune i "numeri cardinali" sono quelli usati per contare e i "numeri ordinali" sono quelli usati per ordinare.
Vedere Dominio del discorso e Numero naturale
Numero reale
In matematica, i numeri reali possono essere descritti in maniera non formale come numeri ai quali è possibile attribuire uno sviluppo decimale finito o infinito, come pi.
Vedere Dominio del discorso e Numero reale
Proposizione (logica)
In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F).
Vedere Dominio del discorso e Proposizione (logica)
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Dominio del discorso e Quantificatore
Scienze formali
La scienza formale o astratta è una branca della scienza che studia le discipline relative ai sistemi formali, come logica, matematica, statistica, informatica teorica, intelligenza artificiale, teoria dell'informazione, teoria dei giochi, teoria dei sistemi, teoria delle decisioni e linguistica teorica.
Vedere Dominio del discorso e Scienze formali
Semantica
La semantica (dal greco sêma, "segno") è quella parte della linguistica che studia il significato delle parole (semantica lessicale), degli insiemi delle singole lettere (negli e degli alfabeti antichi) e delle frasi (semantica frasale) e dei testi.
Vedere Dominio del discorso e Semantica
Teoria dei modelli
La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di modello, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.
Vedere Dominio del discorso e Teoria dei modelli
Teoria dei numeri
Tradizionalmente, la teoria dei numeri è quel ramo della matematica pura che si occupa delle proprietà dei numeri interi e contiene molti problemi aperti la cui formulazione può essere compresa anche da chi non è un matematico.
Vedere Dominio del discorso e Teoria dei numeri
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 Dominio del discorso e Teoria del primo ordine
The Laws of Thought
The Laws of Thought, abbreviazione del titolo An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, è un'opera di George Boole pubblicata nel 1854, la seconda delle sue monografie dedicate alla logica algebrica.