Giacomo LENZI | ISTITUZIONI DI LOGICA MATEMATICA
Giacomo LENZI ISTITUZIONI DI LOGICA MATEMATICA
cod. 0522200014
ISTITUZIONI DI LOGICA MATEMATICA
| 0522200014 | |
| DIPARTIMENTO DI MATEMATICA | |
| CORSO DI LAUREA MAGISTRALE | |
| MATEMATICA | |
| 2023/2024 |
| OBBLIGATORIO | |
| ANNO CORSO 1 | |
| ANNO ORDINAMENTO 2018 | |
| SECONDO SEMESTRE |
| SSD | CFU | ORE | ATTIVITÀ | |
|---|---|---|---|---|
| MAT/01 | 6 | 48 | LEZIONE |
| Obiettivi | |
|---|---|
| CONOSCENZA E CAPACITÀ DI COMPRENSIONE: IMPADRONIRSI DELLA NOZIONE DI TEORIA FORMALE E DELLE PRINCIPALI TECNICHE DELLA TEORIA DEI MODELLI E DELLA TEORIA FORMALE DEGLI INSIEMI E DELLA TEORIA FORMALE DELL'ARITMETICA. CAPACITA’ DI APPLICARE CONOSCENZA E COMPRENSIONE: L'OBIETTIVO DEL CORSO E' RENDERE LO STUDENTE CAPACE DI APPLICARE LE NOZIONI APPRESE DURANTE LE LEZIONI ALLA RISOLUZIONI DI PROBLEMI DI BASE. |
| Prerequisiti | |
|---|---|
| CONOSCENZA DEGLI ELEMENTI DELL’ALGEBRA E DELLA LOGICA OTTENIBILE CON UNO STUDIO TRIENNALE DI MATEMATICA A LIVELLO UNIVERSITARIO. |
| Contenuti | |
|---|---|
| ARITMETICA FORMALE: ASSIOMI DI PEANO, TEORIA S, CODIFICA DELLA SINTASSI, INSIEMI RAPPRESENTABILI IN S, TEORIE OMEGA-CONSISTENTI, TEOREMI DI INCOMPLETEZZA DI GOEDEL. TEORIA DEGLI INSIEMI: TEORIA NBG, INSIEMI E CLASSI, ORDINALI E CARDINALI. TEORIA DEI MODELLI: STRUTTURE, SOTTOSTRUTTURE, EQUIVALENZA ELEMENTARE, ISOMORFISMO, TEOREMI DI LOWENHEIM-SKOLEM, ULTRAPRODOTTI, DEFINIBILITA' AL PRIMO ORDINE, LOGICA PROPOSIZIONALE, MV-ALGEBRE. ALGEBRA UNIVERSALE: CLASSI EQUAZIONALI, TEOREMA DI BIRKHOFF. |
| Metodi Didattici | |
|---|---|
| LEZIONI FRONTALI. GLI STUDENTI CHE SEGUONO IL CORSO DEVONO PRESENTARE UN ARGOMENTO ATTINENTE AL CORSO IN UN SEMINARIO DI MEZZ'ORA. |
| Verifica dell'apprendimento | |
|---|---|
| COLLOQUIO ORALE MIRATO A VALUTARE LE CONOSCENZE TEORICHE E PRATICHE ACQUISITE DURANTE IL CORSO BASATO SUGLI APPUNTI DEL CORSO E SEMINARIO DI 30 MINUTI SU ARGOMENTO CONCORDATO. PROVA ORALE E SEMINARIO HANNO UGUALE PESO. I PUNTEGGI VANNO DAI 18 AL 30 E LODE PER CHI SUPERA L'ESAME. |
| Testi | |
|---|---|
| IL RIFERIMENTO PRINCIPALE E' DATO DAGLI APPUNTI DAL CORSO PRESI DAGLI STUDENTI CHE LO SEGUONO. ALTRI RIFERIMENTI SONO: E. MENDELSON, INTRODUZIONE ALLA LOGICA MATEMATICA. CHANG-KEISLER, TEORIA DEI MODELLI. |
| Altre Informazioni | |
|---|---|
| PER ALTRE INFORMAZIONI CONTATTARE IL DOCENTE GILENZI@UNISA.IT |
BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2024-11-05]
