Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Dominio del discorso

Indice Dominio del discorso

Nelle scienze formali, il dominio del discorso, detto anche universo del discorso, insieme universale o semplicemente universo, è l'insieme di entità su cui possono variare determinate variabili di interesse in una qualche descrizione formale.

Indice

  1. 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.

Vedere Dominio del discorso e The Laws of Thought