2. Docenti
  3. Didattica

ISTITUZIONI DI LOGICA MATEMATICA

Antonio DI NOLA ISTITUZIONI DI LOGICA MATEMATICA

0522200014
DIPARTIMENTO DI MATEMATICA
CORSO DI LAUREA MAGISTRALE
MATEMATICA
2015/2016

OBBLIGATORIO
ANNO CORSO 1
ANNO ORDINAMENTO 2010
PRIMO SEMESTRE
CFUOREATTIVITÀ
648LEZIONE
ANTONIO DI NOLA T Curriculum
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 .


ABILITÀ COMUNICATIVE:
IL CORSO TENDERÀ A FAVORIRE LA CAPACITÀ DELLO STUDENTE DI ESPORRE IN MODO CHIARO E RIGOROSO LE CONOSCENZE ACQUISITE. AL TERMINE DEL CORSO LO STUDENTE DEVE ESSERE IN GRADO DI ENUNCIARE IN MODO CORRETTO DEFINIZIONI, PROBLEMI E TEOREMI RIGUARDANTI I CONTENUTI DEL CORSO STESSO.

AUTONOMIA DI GIUDIZIO:
GLI STUDENTI SONO GUIDATI AD APPRENDERE IN MANIERA CRITICA E RESPONSABILE TUTTO CIÒ CHE VIENE SPIEGATO LORO IN CLASSE E A MIGLIORARE LE PROPRIE CAPACITÀ DI GIUDIZIO ATTRAVERSO LO STUDIO DEL MATERIALE DIDATTICO INDICATO DAL DOCENTE.

CAPACITA' DI APPRENDIMENTO:
IL CORSO TENDERÀ AD AVVICINARE LO STUDENTE, AL DI LÀ DEGLI SPECIFICI ARGOMENTI TRATTATI, AL PENSIERO MATEMATICO E A SVILUPPARE QUINDI QUELLE CAPACITÀ DI APPRENDIMENTO INDISPENSABILI PER AFFRONTARE, CON UN ALTO GRADO DI AUTONOMIA, GLI STUDI SUCCESSIVI.
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: 2016-09-30]