Mathematical logic (2015/2016)

Codice insegnamento
4S001096
Docente
Peter Michael Schuster
Coordinatore
Peter Michael Schuster
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
MAT/01 - LOGICA MATEMATICA
Lingua di erogazione
Inglese
Periodo
I semestre dal 1-ott-2015 al 29-gen-2016.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 14.30 - 16.30 lezione Aula M  
mercoledì 10.30 - 13.30 lezione Aula M  

Obiettivi formativi

L'interazione tra sintassi (linguaggi e calcoli formali) e semantica (interpretazioni e modelli) com'è fondamentale sia per la matematica astratta che per l'informatica teorica.

Programma

Linguaggi formali della logica di prim'ordine.
Calcolo della deduzione naturale.
Logica minimale, intuitionista e classica.
Teoremi di coerenza e completezza.
Teoremi di compatezza e di Löwenheim-Skolem.
Modelli e teorie.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Troelstra, Anne S. & Schwichtenberg, Helmut Basic Proof Theory. (Edizione 2) Cambridge University Press 2000 0-521-77911-1
David, René & Nour, Karim & Raffali, Christophe Introduction à la Logique. Théorie de la démonstration (Edizione 2) Dunod 2004 9782100067961
Cantini, Andrea & Minari, Pierluigi Introduzione alla logica : linguaggio, significato, argomentazione. (Edizione 1) Le Monnier 2009 978-88-00-86098-7
van Dalen, Dirk Logic and Structure. (Edizione 5) Springer 2013 978-1-4471-4557-8
Abrusci, Vito Michele & Tortora de Falco, Lorenzo Logica. Volume 1 - Dimostrazioni e modelli al primo ordine. (Edizione 1) Springer 2015 978-88-470-5537-7
Shoenfield, Joseph R. Mathematical Logic. (Edizione 2) Association for Symbolic Logic & A K Peters 2001 1-56881-135-7
Schwichtenberg, Helmut Mathematical Logic (lecture notes). 2012 http://www.math.lmu.de/~schwicht/lectures/logic/ws12/ml.pdf

Modalità d'esame

Prova scritta o esame orale a seconda del numero dei candidati che si presentano.

Materiale didattico

Documenti

Opinione studenti frequentanti - 2015/2016


Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 75.0% 27 3
Respinti --
Assenti 16.66%
Ritirati 8.33%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 11.1% 0.0% 0.0% 0.0% 11.1% 11.1% 11.1% 0.0% 0.0% 0.0% 22.2% 33.3%

Valori relativi all'AA 2015/2016 calcolati su un totale di 12 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.