Categoria:Logica matematica
Voci sulla logica matematica
Wikiquote contiene una categoria sull'argomento Logica matematica
Wikiversità contiene una categoria sull'argomento Logica matematica
Wikimedia Commons contiene una categoria sull'argomento Logica matematica
Sottocategorie
Questa categoria contiene le 11 sottocategorie indicate di seguito, su un totale di 11.
A
- Automi cellulari (9 P)
C
- Connettivi logici (11 P)
I
L
R
- Ricorsione (11 P)
T
- Teoremi di logica matematica (12 P)
- Teoria dei modelli (8 P)
Pagine nella categoria "Logica matematica"
Questa categoria contiene le 114 pagine indicate di seguito, su un totale di 114.
A
C
D
F
L
- Legge di Peirce
- Lemma del collasso di Mostowski
- Lemma di König
- Linguaggio del primo ordine
- Linguaggio dell'aritmetica del primo ordine
- Lista di regole di inferenza
- Logica a due variabili
- Logica di ordine zero
- Logica intensionale
- Logica libera
- Logica lineare
- Espressione ground
- Logica modale
- Logica paraconsistente
- Logica polivalente
- Logica temporale lineare
M
P
R
S
T
- Tacchino induttivista
- Teorema di deduzione
- Teorema di eliminazione del taglio
- Teorema di Lindström
- Teorema di Löb
- Teoria degli insiemi di Zermelo
- Teoria dei modelli astratti
- Teoria del primo ordine
- Teoria della dimostrazione
- Teoria formale
- Teoria soddisfacibile
- Teorie formali degli insiemi
- Turing riduzione