Italiano (Inglese nel caso di seminari tenuti, su invito, da studiosi stranieri)
Obiettivi Formativi
Il corso, in forma prevalentemente seminariale, mira ad approfondire specifici temi avanzati di logica, in funzione del lavoro di tesi magistrale dei singoli studenti
Argomenti di Logica di livello avanzato o di ricerca
Prerequisiti
I due corsi di Logica (12 CFU + 6 CFU) in piano
Metodi Didattici
Lezioni introduttive del docente / seminari tenuti da studiosi invitati / presentazioni degli studenti su temi assegnati
Modalità di verifica apprendimento
Esame conclusivo, orale (40-60 min.) o in forma di relazione scritta (20-30 cartelle), a seconda dei casi. Trattandosi di un seminario per laureandi, lo studente dovrà mostrare di aver acquisito una adeguata padronanza teorica e tecnica dell'argomento concordato con il docente.
Programma del corso
Come sopra indicato, gli argomenti specifici saranno fissati assieme agli studenti, all'inizio del corso.
Libri di testo consigliati
Gli argomenti specifici del seminario (e di conseguenza i testi) saranno decisi assieme agli studenti frequentanti, anche tenendo conto di seminari tenuti da studiosi invitati (come da calendario che sarà definito entro dicembre 2016).