- Oggetto:
Fondamenti della Matematica Complementi - a.a. 2008/09
- Oggetto:
Anno accademico 2008/2009
- Codice dell'attività didattica
- MFN0154
- Docente
- Prof. Flavio Previale (Titolare del corso)
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 2
- SSD dell'attività didattica
- MAT/04 - matematiche complementari
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Gli obiettivi sono strettamente legati alle finalita. In particolare, ci si propone di fornire una conoscenza non superficiale di certi aspetti dei Fondamenti della Matematica, assai in voga tra il pubblico degli estimatori del soggetto, ma per lo piu presentati in una inadeguata (e fuorviante) forma divulgativa.- Oggetto:
Risultati dell'apprendimento attesi
Il corso si propone di sviluppare alcuni temi classici relativi ai Fondamenti della Matematica. Un possibile programma, gia sperimentato in passato dal Docente, prevede la presentazione, nelle sue linee essenziali, della teoria della ricorsivita e la presentazione e dimostrazione dei teoremi di incompletezza di Gödel e dei relativi piu importanti corollari.- Oggetto:
Programma
Pre-requisiti in ingresso e competenze minime in uscita
Pre-requisiti (in ingresso)
Insegnamenti fornitori
Nozioni logiche di base
Logica Matematica
Familiarita’ con l’uso del metodo assiomatico in Aritmetica
Fondamenti della Matematica
Competenze minime (in uscita)
Insegnamenti fruitori
Conoscenza di aspetti dei principali sviluppi critici concernenti i Fondamenti della Matematica
Corsi piu’ avanzati di Logica Matematica o Fondamenti della Matematica
Programma, articolazione e carico didattico
Argomento
Ore
Lez.
Ore
Esercit.
Ore Laboratorio
Totale Ore di Car. Didattico
Elementi di ricorsivita’
10
10
Teoria di incompletezza
8
8
Totale
18
18
Testi consigliati e bibliografia
- Oggetto:
- Il materiale didattico presentato a lezione è disponibile presso: Il Centro Stampa del Dipartimento di Matematica
I testi base consigliati per il corso sono: Quaderni di Logica e di Fondamenti della Matematica (a cura del Docente)
- Oggetto:
Note
L'esame si svolge, di norma, come segue: in forma di prova orale. Se non superata, la prova puo essere ripetuta, senza alcuna limitazione, nelle sessioni desame successive.- Oggetto: