I materiali pubblicati sul sito costituiscono rielaborazioni personali del Publisher di informazioni apprese con la frequenza delle lezioni e lo studio autonomo di eventuali testi di riferimento in preparazione all’esame finale o della tesi. Non devono intendersi come materiale ufficiale dell’università attribuibile al docente del corso.
…continua
Ultimi appunti inseriti
Appunti più scaricati
Appunti per nome

Filtra per

Tutte le tipologie

Ordina

Filtra

Appunti degli studenti per corsi ed esami del Prof. Borga Marco

icona-appunti
icona-appunti

Appunti di Logica Matematica Premium

Esame Logica matematica

Facoltà Scienze matematiche fisiche e naturali

Dal corso del Prof. M. Borga

Università Università degli studi di Genova

Appunto
Scarica
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).
...continua