Che materia stai cercando?

Appunti di Logica Matematica

Appunti del corso di Logica matematica.
Contenuti:
- Logica proposizionale: connettivi, tavole di verità, formule, funzioni di verità, sistemi formali, derivabilità e dimostrabilità, il sistema formale K, assiomi e regole, il teorema di deduzione per K, correttezza e completezza (lemma di Post e teorema di esistenza di un modello), non contraddittorietà;
-... Vedi di più

Esame di Logica matematica docente Prof. M. Borga

Ulteriori informazioni

PAGINE

72

PESO

23.27 MB

AUTORE

AleRetta

PUBBLICATO

10 mesi fa


DESCRIZIONE APPUNTO

Appunti del corso di Logica matematica.
Contenuti:
- Logica proposizionale: connettivi, tavole di verità, formule, funzioni di verità, sistemi formali, derivabilità e dimostrabilità, il sistema formale K, assiomi e regole, il teorema di deduzione per K, correttezza e completezza (lemma di Post e teorema di esistenza di un modello), non contraddittorietà;
- Logica dei predicati: il sistema formale F per la logica dei predicati, termini, formule, regole e assiomi di F, variabili libere e vincolate, termini chiusi, formule chiuse, interpretazioni, termini chiusi, verità e validità, modelli, termini liberi, validità degli assiomi di F, correttezza e non contraddittorietà di F, il teorema di deduzione per F, i teoremi di esistenza di un modello e di completezza per F;
- Aritmetica formalizzata e teoremi di Godel: il sistema formale P per l'aritmetica, assiomi di P, introduzione alla teoria della definizione, teoremi di incompletezza di Godel (cenni).


DETTAGLI
Corso di laurea: Corso di laurea in matematica
SSD:
Docente: Borga Marco
Università: Genova - Unige
A.A.: 2016-2017

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher AleRetta di informazioni apprese con la frequenza delle lezioni di Logica matematica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Genova - Unige o del prof Borga Marco.

Acquista con carta o conto PayPal

Scarica il file tutte le volte che vuoi

Paga con un conto PayPal per usufruire della garanzia Soddisfatto o rimborsato

Recensioni
Ti è piaciuto questo appunto? Valutalo!

Altri appunti di Corso di laurea in matematica

Appunti di Analisi Matematica 2
Appunto