Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

Queste informazioni sono destinate esclusivamente agli studenti e alle studentesse già iscritti a questo corso.
Se sei un nuovo studente interessato all'immatricolazione, trovi le informazioni sul percorso di studi alla pagina del corso:

Laurea magistrale in Mathematics - Immatricolazione dal 2025/2026

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

CURRICULUM TIPO:

1° Anno 

InsegnamentiCreditiTAFSSD
6
B
MAT/08
6
B
MAT/07
6
B
MAT/03
12
B
MAT/05
6
B
MAT/05
6
C
MAT/06

2° Anno   Attivato nell'A.A. 2016/2017

InsegnamentiCreditiTAFSSD
6
B
MAT/05
32
E
-
Attivato nell'A.A. 2016/2017
InsegnamentiCreditiTAFSSD
6
B
MAT/05
32
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°
Tre insegnamenti a scelta
6
C
MAT/03
6
C
MAT/08
6
C
MAT/02
6
C
MAT/02
6
C
MAT/06
6
C
MAT/05
6
C
INF/01
6
C
MAT/09
6
C
MAT/08
6
C
MAT/07
6
C
MAT/08
Tra gli anni: 1°- 2°
Un insegnamento a scelta
6
B
MAT/02
6
B
MAT/02
Tra gli anni: 1°- 2°
12
D
-
Tra gli anni: 1°- 2°
Altre attività formative
4
F
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.

A Attività di base
B Attività caratterizzanti
C Attività formative affini o integrative
D Attività a scelta dello studente
E Prova finale
F Altre attività formative
S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Mathematical logic  (2015/2016)

Codice insegnamento

4S001096

Docente

Peter Michael Schuster

Coordinatore

Peter Michael Schuster

Crediti

6

Offerto anche nei corsi:

  • Logica del corso Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32]

Lingua di erogazione

Inglese en

Settore Scientifico Disciplinare (SSD)

MAT/01 - LOGICA MATEMATICA

Periodo

I semestre dal 1 ott 2015 al 29 gen 2016.

Seminari 2

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.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti