Antonio DI NOLA | ISTITUZIONI DI LOGICA MATEMATICA
Antonio DI NOLA ISTITUZIONI DI LOGICA MATEMATICA
cod. 0522200014
ISTITUZIONI DI LOGICA MATEMATICA
| 0522200014 | |
| DIPARTIMENTO DI MATEMATICA | |
| CORSO DI LAUREA MAGISTRALE | |
| MATEMATICA | |
| 2016/2017 |
| OBBLIGATORIO | |
| ANNO CORSO 1 | |
| ANNO ORDINAMENTO 2016 | |
| PRIMO 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. CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE: L’OBIETTIVO DEL CORSO È QUELLO DI RENDERE LO STUDENTE CAPACE DI APPLICARE LE CONOSCENZE TEORICHE ACQUISITE AL FINE DI RISOLVERE SEMPLICI PROBLEMI. |
| Prerequisiti | |
|---|---|
| CONOSCENZA DEGLI ELEMENTI DELL’ALGEBRA E DELLA LOGICA. |
| Contenuti | |
|---|---|
| ELEMENTI DI ALGEBRA UNIVERSALE.ELEMENTI DI TEORIA DEI MODELLI. ELEMENTI DI TEORIA DEGLI INSIEMI. ELEMENTI DELLA TEORIA FORMALE DELL'ARITMETICA. |
| Metodi Didattici | |
|---|---|
| LEZIONI FRONTALI. |
| Verifica dell'apprendimento | |
|---|---|
| COLLOQUIO ORALE. |
| Testi | |
|---|---|
| •APPUNTI DAL CORSO. •J.L. BELL- A.B. SLOMSON, MODELS AND ULTRAPRODUCTS. •C.C. CHANG, H.J. KEISLER, MODEL THEORY |
BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2019-03-11]
