- Oggetto:
- Oggetto:
Logica Matematica Complementi - a.a. 2008/09
- Oggetto:
Anno accademico 2008/2009
- Codice dell'attività didattica
- MFN0160
- Docente
- Prof. Flavio Previale (Titolare del corso)
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Periodo didattico
- Primo semestre
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 2
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Mutuato da
- 2CFU Ambito G
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Gli obiettivi sono strettamente inerenti alle finalita. I temi trattati hanno inoltre lo scopo indiretto di mostrare come la Logica Matematica permetta di ottenere una rappresentazione generale e unitaria della Matematica, particolarmente idonea per approfondimenti riguardanti i suoi aspetti strutturali- Oggetto:
Risultati dell'apprendimento attesi
Il corso si propone di ampliare lo svolgimento di temi di base della Logica Matematica, iniziato nella seconda parte del corso omonimo.- Oggetto:
Programma
Pre-requisiti in ingresso e competenze minime in uscita
Pre-requisiti (in ingresso)
Insegnamenti fornitori
Nozioni logiche di base
Logica Matematica
Competenze minime (in uscita)
Insegnamenti fruitori
Conoscenza di alcuni dei principali sviluppi della Logica Matematica
Corsi piu’ avanzati di Logica Matematica
Programma, articolazione e carico didattico
Argomento
Ore
Lezione
Totale Ore di Carico Didattico
Temi classici di Logica Matematica
8
8
Algoritmi di dimostrazione
10
10
Totale
18
18
Ulteriori conseguenze del teorema di eliminazione della regola di taglio dai sistemi analitici: teoremi di interpolazione di Craig e di definibilità di Beth. Teorema di connessione. Eliminazione delle regole strutturali dai sistemi analitici.
Algoritmi di dimostrazione classica: tavole analitiche e tavole analitiche connesse. Procedure di saturazione e loro completezza. Lemma di unificazione. Confronto del metodo delle tavole analitiche connesse con il metodo della trasformata di Herbrand e alcuni suoi raffinamenti.Testi consigliati e bibliografia
- Oggetto:
- Il materiale didattico presentato a lezione è disponibile, in forma cartacea, presso il Centro Stampa del Dipartimento di Matematica.
- Oggetto:
Altre informazioni
http://matematica.campusnet.unito.it/cgi-bin/corsi.pl- Oggetto:
