Categoria:Logica matematica

A

• [×] Algebra di Boole‎ (19 P)
• [×] Automi cellulari‎ (8 P)

C

• [×] Computazioni‎ (2 P)

L

• [×] Logica modale‎ (3 P)

T

• [+] Teoria degli insiemi‎ (1 C, 137 P)
• [×] Teoria dei modelli‎ (4 P)

T cont.

• [×] Teoria della computazione‎ (49 P)

• 03-XX
• Logica matematica

A

• Algebra di Heyting
• Algoritmo di Davis-Putnam
• Algoritmo di Tison
• Anello booleano
• Aritmetica di Peano
• Aritmetica di Robinson
• Asserzione logica
• Assioma (matematica)
• Assiomi logici
• Assiomi per l'uguaglianza
• Assiomi propri
• Autoinformazione

B

• Base di Herbrand
• Egon Börger

C

• Chiuso (logica)
• Chiusura universale
• Clausola di Horn
• Codice di Hamming
• Completezza (logica matematica)
• Connettivo logico
• Consistenza (logica matematica)
• Correttezza (logica matematica)

D

• Decidibilità
• Dimostrazione matematica
• Distanza di Hamming
• DPLL

E

• Elenco di regole di inferenza
• Entscheidungsproblem

F

• Formula ben formata
• Formula di Barcan
• Funzione di ordine superiore

I

• Informazione parziale linearizzata

L

• Lemma di König
• Linguaggio del primo ordine
• Linguaggio dell'aritmetica del primo ordine
• Logica di Hoare
• Logica fuzzy
• Logica modale
• Logica proposizionale
• Logica temporale lineare

M

• Mappa di Karnaugh
• Matematica inversa
• Metamatematica
• Metodo di Petrick
• Metodo di Quine-McCluskey
• Model checking
• Modello (logica matematica)
• Modus ponens
• Motore inferenziale

N

• Numero surreale

P

• Paradosso di Richard
• Pi calculus
• Predicato funzionale
• Principia Mathematica
• Principio d'induzione
• Principio del buon ordinamento
• Problema della fermata
• Programma di Hilbert

Q

• Quantificatore

R

• Rappresentabilità
• Regola 2
• Regola di inferenza
• Regole di inferenza

S

• Se e solo se
• Sequente
• Sillogismo disgiuntivo
• Simulazione
• Sistema assiomatico
• Sistema formale
• Skolemizzazione
• Subitizing
• Sussunzione

T

• Tabella della verità
• Tacchino induttivista
• Teorema di compattezza (logica matematica)
• Teorema di compattezza (sintattico)
• Teorema di completezza
• Teorema di deduzione
• Teorema di Löwenheim-Skolem (debole)
• Teorema di semidecidibilità
• Teoremi di De Morgan
• Teoria dei tipi
• Teoria del primo ordine
• Teoria soddisfacibile
• Teorie formali degli insiemi

U

• Uguaglianza (matematica)

V

• Variabile libera
• Vegasim