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