Indice
7 relazioni: Algoritmo ricorsivo, Elemento (insiemistica), Formula ben formata, Logica a due variabili, Quantificatore, Teoria del primo ordine, Unicità.
Algoritmo ricorsivo
In informatica viene detto algoritmo ricorsivo, o ricorsione, un algoritmo espresso in termini di se stesso, ovvero in cui l'esecuzione dell'algoritmo su un insieme di dati comporta la semplificazione o suddivisione dell'insieme di dati e l'applicazione dello stesso algoritmo agli insiemi di dati semplificati.
Vedere Counting quantifier e Algoritmo ricorsivo
Elemento (insiemistica)
In matematica, un elemento è un oggetto contenuto in un insieme (o più in generale in una classe). Il fatto che x è un elemento dell'insieme A si indica con la scrittura "x ∈ A".
Vedere Counting quantifier e Elemento (insiemistica)
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 Counting quantifier e Formula ben formata
Logica a due variabili
Nella logica matematica e nell'informatica, la logica a due variabili è la parte della logica del primo ordine le cui formule possono essere scritte mediante due variabili e solitamente senza simboli di funzione.
Vedere Counting quantifier e Logica a due variabili
Quantificatore
Nella logica i quantificatori sono espressioni come "qualcosa" (quantificatore esistenziale) e "ogni cosa" (quantificatore universale) e le loro controparti simboliche.
Vedere Counting quantifier e Quantificatore
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 Counting quantifier e Teoria del primo ordine
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.