Categoria:Logica matematica

A

• Algebra di Boole (3 C, 24 P)
• Automi cellulari (9 P)

C

• Connettivi logici (11 P)

I

• Logica nell'informatica (4 C, 24 P)

L

• Logica proposizionale (2 C, 26 P)

R

• Ricorsione (11 P)
• Riviste di logica matematica (4 P)

T

• Teoremi di logica matematica (12 P)
• Teoria degli insiemi (1 C, 149 P)
• Teoria dei linguaggi formali (2 C, 75 P)
• Teoria dei modelli (8 P)
• Teoria della computazione (6 C, 24 P)

• Logica matematica

0–9

• 03-XX

A

• Algebra di Heyting
• Algoritmo di Tison
• Ambito
• Anello booleano
• Aritmetica di Peano
• Aritmetica di Robinson
• Asserzione (logica)
• Assioma (matematica)
• Assioma logico
• Assioma proprio
• Assiomi per l'uguaglianza

B

• Base di connettivi
• Base di Herbrand
• Egon Börger

C

• Chiusura deduttiva
• Chiusura universale
• Codice di Hamming
• Coerenza (logica matematica)
• Completezza (logica matematica)
• Condizione necessaria e sufficiente
• Connettivo logico
• Correttezza (logica matematica)
• Counting quantifier

D

• Decidibilità
• Deduzione naturale
• Dimostrazione matematica
• Dimostrazione originale del teorema di completezza di Gödel
• Dimostrazione per contraddizione
• Distanza di Hamming
• Dominio del discorso
• Doppia negazione

E

• Esagono logico
• Estensione conservativa

F

• Fondamenti della matematica
• Formula atomica
• Formula ben formata
• Formula chiusa
• Formula di Barcan
• Funtori di Sheffer
• Funzione di ordine superiore
• Funzione di verità
• Funzione proposizionale

I

• Identità (logica moderna)
• Informazione parziale linearizzata

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

• Matematica inversa
• Metamatematica
• Metodo di Petrick
• Metodo di Quine-McCluskey
• Modus ponens
• Motore inferenziale

N

• Noisy-or
• Numero surreale

O

• Operatore di Sheffer

P

• Paradosso di Richard
• Pi calcolo
• Potenza logica
• Predicato (logica)
• Predicato funzionale
• Predicato T di Kleene
• Principia Mathematica
• Principio d'induzione
• Principio del buon ordinamento
• Principio di Markov
• Programma di Hilbert
• Proposizione atomica
• Proprietà dell'intersezione finita

Q

• Quantificatore

R

• Rappresentabilità
• Regola di inferenza
• Relazione ben fondata
• Relazione ternaria
• Riduzione (matematica)

S

• Segnatura (logica)
• Sequente
• Sillogismo disgiuntivo
• Simulazione
• Sistema assiomatico
• Sistema formale
• Subitizing
• Sussunzione (filosofia)

T

• Tacchino induttivista
• Teorema di deduzione
• Teorema di eliminazione del taglio
• Teorema di Lindström
• Teorema di Löb
• Teoria (logica matematica)
• Teoria degli insiemi di Zermelo
• Teoria dei modelli astratti
• Teoria del primo ordine
• Teoria della dimostrazione
• Teoria soddisfacibile
• Teorie formali degli insiemi
• Turing riduzione

U

• Uguaglianza (matematica)
• Unicità

V

• Validità (logica)
• Variabile libera
• Variabile predicativa