Che materia stai cercando?

Logica proposizionale e del primo ordine

Esame da 6 crediti del III anno di matematica.

Il corso è strutturato in due capitoli principali: la logica proposizionale e la logica del primo ordine arrivando infine alla dimostrazione di incompletezza di Godel.

I principali argomenti analizzati sono:
il calcolo proposizionale (tavole di verità, contraddizioni, tautologie, conseguenza logica, proposizioni soddisfacibili... Vedi di più

Esame di Logica docente Prof. M. Viale

Ulteriori informazioni

PAGINE

110

PESO

65.37 MB

PUBBLICATO

7 mesi fa


DESCRIZIONE APPUNTO

Esame da 6 crediti del III anno di matematica.

Il corso è strutturato in due capitoli principali: la logica proposizionale e la logica del primo ordine arrivando infine alla dimostrazione di incompletezza di Godel.

I principali argomenti analizzati sono:
il calcolo proposizionale (tavole di verità, contraddizioni, tautologie, conseguenza logica, proposizioni soddisfacibili e logicamente equivalenti, forma normale disgiuntiva, calcolo dei sequenti LK e regole di deduzione, teorema di completezza), logica del I ordine (quantificatori, linguaggi, termini, formule atomiche, variabili libere, L-strutture, occorrenze libere e vincolate, teoremi, enunciati, ricorsivamente numerabile, chiusura per conseguenza logica, teorie elementarmente equivalenti, sottostrutture, morfismi tra strutture, definibilità di insiemi, assiomi), i numeri naturali e l'aritmetica di Robinson Q (principio di induzione e proprietà), funzione beta di Godel (teorema cinese del resto, definizione di operazioni), funzioni u-calcolabili.

E i teoremi centrali del corso sono:
teorema di Traskl-Seindenberg, teorema di Birkoff, teorema di compattezza, teorema di Cantor, teorema di incompletezza di Godel, tesi di Church.


DETTAGLI
Esame: Logica
Corso di laurea: Corso di laurea in matematica
SSD:
Università: Torino - Unito
A.A.: 2017-2018

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher Chiara 1995 di informazioni apprese con la frequenza delle lezioni di Logica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Torino - Unito o del prof Viale Matteo.

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

Esercizi di Logica matematica svolti
Esercitazione
Lezioni ed esercitazioni, Probabilita' e statitistica
Appunto
Lezioni ed esercitazioni, Algebra 1
Appunto
Dispensa di Geometria
Dispensa