Utente:Italo-Europeo/sabbiera

Da Wikipedia, l'enciclopedia libera.

< Utente:Italo-Europeo

Vai alla navigazione Vai alla ricerca

V · D · M

Logici

Anderson · Aristotele · Averroè · Avicenna · Barwise · Bernays · Boole · Boolos · Cantor · Carnap · Church · Crisippo di Soli · Curry · De Morgan · Frege · Geach · Gentzen · Gödel · Hilbert · Kleene · Kripke · Leibniz · Löwenheim · Peano · Peirce · Putnam · Quine · Russell · Scotus · Skolem · Smullyan · Tarski · Turing · Whitehead · William of Ockham · Wittgenstein · Zermelo

V · D · M Logica matematica
Concetti generali	Linguaggio formale · Regole di formazione · Sistema formale · Sistema deduttivo · Dimostraione · Semantica formale · Formula ben formata · Insieme · Elemento · Classe · Logica classica · Conseguenza logica · Sistema assiomatico · Teoria dei tipi · Simbolo · Sintassi · Teoria
Logica tradizionale	Proposizione · Inferenza · Argomento · Validità · Sillogismo · Quadrato degli opposti · Diagramma di Venn
Logica proposizionale e logica booleana	Logica booleana · Calcolo proposizionale · Formula proposizionale · Connettivi logici · Quantificatore · Tabella di verità
Logica dei predicati	Teoria del primo ordine · Quantificatore · Predicato · Teoria del secondo ordine
Teoria degli insiemi	Insieme · Insieme vuoto · Enumerazione · Estensionalità · Insieme finito · Funzione · Sottoinsieme · Insieme potenza · Insieme numerabile · Insieme ricorsivo · Dominio · Insieme immagine · Coppia ordinata · Insieme non numerabile
Teoria dei modelli	Modello · Interpretazione · Modello non standard · Valore di verità · Validità
Teoria delle dimostrazioni	Dimostrazione · Sistema deduttivo · Sistema formale · Teorema · Conseguenza logica · Regola di inferenza · Sintassi
Computabilità	Algoritmo ricorsivo · Insieme ricorsivo · Insieme ricorsivamente enumerabile · Problema della decisione · Tesi di Church-Turing · Funzione calcolabile · Funzione ricorsiva primitiva

Note

[modifica | modifica wikitesto]

Estratto da "https://it.wikipedia.org/w/index.php?title=Utente:Italo-Europeo/sabbiera&oldid=87275238"