Indice
21 relazioni: Alfabeto, Algoritmo, Costante, Dimostrazione per assurdo, Dominio e codominio, Equazione diofantea, Funzione indicatrice, Funzione parziale, Funzione ricorsiva, Grammatica libera dal contesto, Insieme, Insieme complemento, Insieme ricorsivamente enumerabile, Insieme vuoto, Linguaggio formale, Linguaggio ricorsivo, Numeri pari e dispari, Numero naturale, Numero primo, Se e solo se, Teoria della calcolabilità.
Alfabeto
L'alfabeto o trascrizione fonetica è un sistema di scrittura i cui segni grafici (i grafemi) rappresentano singolarmente i suoni delle lingue (foni e fonemi).
Vedere Insieme ricorsivo e Alfabeto
Algoritmo
In matematica e informatica un algoritmo è la specificazione di una sequenza finita di operazioni (dette anche istruzioni) che consente di risolvere tutti i quesiti di una stessa classe o di calcolare il risultato di un'espressione matematica.
Vedere Insieme ricorsivo e Algoritmo
Costante
Nelle scienze si parla spesso di costanti, riferendosi a uno dei seguenti concetti.
Vedere Insieme ricorsivo e Costante
Dimostrazione per assurdo
La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica nella quale, muovendo dalla negazione della tesi che si intende sostenere e facendone seguire una sequenza di passaggi logico-deduttivi, si giunge a una conclusione incoerente e contraddittoria.
Vedere Insieme ricorsivo e Dimostrazione per assurdo
Dominio e codominio
In matematica il dominio e il codominio di una funzione sono gli insiemi su cui essa è definita. Una funzione, infatti, è una relazione che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Vedere Insieme ricorsivo e Dominio e codominio
Equazione diofantea
In matematica, unequazione diofantea (chiamata anche equazione diofantina) è un'equazione in una o più incognite con coefficienti interi di cui si ricercano le soluzioni intere.
Vedere Insieme ricorsivo e Equazione diofantea
Funzione indicatrice
In matematica, nel campo della teoria degli insiemi, se A è un sottoinsieme dell'insieme X, la funzione indicatrice, o funzione caratteristica di A è quella funzione da X all'insieme che sull'elemento x in X vale 1 se x appartiene ad A, e vale 0 in caso contrario.
Vedere Insieme ricorsivo e Funzione indicatrice
Funzione parziale
Una funzione parziale In matematica, si dice funzione parziale fcolon A rightarrow B un sottoinsieme di A times B, cioè una relazione binaria tra A e B, tale che.
Vedere Insieme ricorsivo e Funzione parziale
Funzione ricorsiva
Nella logica matematica e nell'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo.
Vedere Insieme ricorsivo e Funzione ricorsiva
Grammatica libera dal contesto
In informatica e in linguistica, una grammatica libera dal contesto (o non contestuale, context-free o CFG) è una grammatica formale in cui ogni regola sintattica è espressa sotto forma di derivazione di un simbolo a sinistra a partire da uno o più simboli a destra.
Vedere Insieme ricorsivo e Grammatica libera dal contesto
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 Insieme ricorsivo e Insieme
Insieme complemento
Nella teoria degli insiemi e in altri campi della matematica, il complemento di un insieme è l'insieme degli elementi che non appartengono a quell'insieme.
Vedere Insieme ricorsivo e Insieme complemento
Insieme ricorsivamente enumerabile
Nella teoria della calcolabilità esistono due definizioni di insieme ricorsivamente enumerabile (spesso abbreviato in insieme r.e.) o insieme semi-decidibile.
Vedere Insieme ricorsivo e Insieme ricorsivamente enumerabile
Insieme vuoto
Nella teoria degli insiemi si indica con insieme vuoto quel particolare insieme che non contiene alcun elemento. Nella teoria assiomatica degli insiemi l'assioma dell'insieme vuoto ne postula l'esistenza.
Vedere Insieme ricorsivo e Insieme vuoto
Linguaggio formale
Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe costruite sopra un alfabeto, cioè sopra un insieme di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.
Vedere Insieme ricorsivo e Linguaggio formale
Linguaggio ricorsivo
In matematica, logica e informatica teorica, i linguaggi decidibili o ricorsivi sono una classe di linguaggi formali che corrisponde alla classe dei problemi decidibili.
Vedere Insieme ricorsivo e Linguaggio ricorsivo
Numeri pari e dispari
In matematica, ogni numero intero è pari oppure dispari: un numero è pari se è multiplo di 2, altrimenti è dispari. Esempi di numero pari sono: −56, 0, 12, 28, 56, 388.
Vedere Insieme ricorsivo e Numeri pari e dispari
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 Insieme ricorsivo e Numero naturale
Numero primo
In matematica, un numero primo (in breve anche primo) è un numero intero positivo che abbia esattamente due divisori distinti. In modo equivalente si può definire come un numero naturale maggiore di 1 che sia divisibile solamente per 1 e per sé stesso; al contrario, un numero maggiore di 1 che abbia più di due divisori è detto composto.
Vedere Insieme ricorsivo e Numero primo
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 Insieme ricorsivo e Se e solo se
Teoria della calcolabilità
La teoria della calcolabilità, della computabilità, e della ricorsione cerca di comprendere quali funzioni possono essere calcolate tramite un procedimento automatico.
Vedere Insieme ricorsivo e Teoria della calcolabilità