- Oggetto:
Istituzioni di Logica Matematica - a.a. 2008/09
- Oggetto:
Anno accademico 2008/2009
- Codice dell'attività didattica
- Vedi Avvalenza
- Docente
- Prof. Alessandro Andretta (Titolare del corso)
- Corso di studi
- Laurea Specialistica in Matematica (D.M. 509)
- Anno
- 1° anno 2° anno
- Periodo didattico
- Primo semestre
- Tipologia
- Altre attività
- Crediti/Valenza
- 7
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Mutuato da
- Cod. MFN0080 Ambito A - Cod. MFN0081 Ambito B
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso si propone di mostrare come lo studio dei linguaggi nei quali sono formalizzate le teorie e le dimostrazioni matematiche permette di ottenere informazioni sulle stesse. Informazioni positive riguardano ad esempio la costruzione di strutture che sono modelli delle teorie, o la loro eventuale decidibilità e meccanizzabilità delle dimostrazioni; quelle limitative riguardano risultati di incompletezza o indecidibilità, in particolare dell'aritmetica e sue estensioni.- Oggetto:
Risultati dell'apprendimento attesi
Lallievo dovrà essere in grado di utilizzare correttamente gli strumenti di base della Logica Matematica- Oggetto:
Programma
Pre-requisiti in ingresso ecompetenze minime in uscita
Pre-requisiti (in ingresso)
Insegnamenti fornitori
Conoscenze di base di Algebra
Algebra I
Conoscenze di base di Analisi Matematica
Analisi Matematica I, II e III
Competenze minime (in uscita)
Insegnamenti fruitori
Linguaggi del primo ordine
Tutti
Teoremi di compattezza e completezza
Teoria dei Modelli, Algebra II
Programma, articolazione e caricodidattico
Argomento
Ore
Lezione
Totale Ore di Carico Didattico
Sistemi formali e derivazioni
22
22
Algebre di Boole e logica proposizionale
12
12
Modelli
22
22
Totale
56
56
Testi consigliati e bibliografia
- Oggetto:
- Materiale didattico
Il materiale didattico presentato a lezione è disponibile sul sito del corso: http://matematica.campusnet.unito.it/cgi-bin/corsi.plIl testo seguito è:
R.Kaye, The Mathematics of Logic, Cambridge University Press 2007
- Oggetto:
Note
Modalità di verifica/esame
Colloquio orale.- Oggetto:
