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

4 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