Logica matematica

A.A. 2021/2022
6
Crediti massimi
64
Ore totali
SSD
INF/01 MAT/01
Lingua
Italiano
Obiettivi formativi
L'insegnamento ha lo scopo di introdurre i principi fondamentali del ragionamento razionale, tramite l'approccio formale fornito dalla logica matemaica, sia a livello proposizionale che a livello predicativo.
Risultati apprendimento attesi
Lo studente dovrà essere in grado di formalizzare ragionamenti razionali tramite le tecniche di prova formale apprese. Dovrà essere inoltre capace di costruire controesempi per ragionamenti fallaci.
Programma e organizzazione didattica

Edizione unica

Responsabile
Periodo
Secondo semestre
Programma
Il corso di Logica matematica per la triennale si propone come corso introduttivo alla logica, e a i suoi rapporti con il linguaggio e la formalizzazione di concetti.
Il corso e' naturalmente articolato in due parti principali: logica proposizionale e logica del primo ordine. Inoltre si approfondisce il tema del principio di induzione, in particolare nell'aritmetica di Peano.
Vengono introdotte la sintassi e la semantica della logica a livello proposizionale e a livello del primo ordine, e l'uso di un calcolo di deduzione naturale.
Particolare attenzione e' riservata all'uso effettivo della logica, a partire dalla traduzione e formalizzazione di enunciati in linguaggio naturale.
Il corso e' integrato da esercitazioni in laboratorio, effettuate tramite software didattico dedicato.
Prerequisiti
Nessuno
Metodi didattici
Lezioni frontali. La frequenza è fortemente consigliata.
Il corso e' integrato da esercitazioni in laboratorio, effettuate tramite software didattico dedicato.

Il Laboratorio di Logica si affianca, come serie di esercitazioni, al corso di Logica Matematica. Le esercitazioni sono condotte usando software dedicato, che consente agli studenti di mettere alla prova la loro comprensione della semantica, e di sviluppare prove formali in un calcolo di deduzione naturale.
Materiale di riferimento
Consultare il sito: https://homes.di.unimi.it/aguzzoli/logicatriennale.html

Bibliografia:
Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011.
Modalità di verifica dell’apprendimento e criteri di valutazione
L'esame consiste in una prova scritta e in un'eventuale prova orale.
La prova scritta e' articolata in due parti:
- esercizi di "laboratorio", da svolgere usando il software didattico;
- esercizi di "teoria", che sondano i concetti illustrati nelle lezioni frontali.
La durata della prova scritta è di tre ore. Gli esiti sono comunicati sul sito del docente,
in area protetta da password.
L'orale mira a verificare la comprensione dei concetti da parte dello studente.
La valutazione finale, espressa in trentesimi, tiene conto del livello di padronanza degli argomenti, della chiarezza espositiva e della proprietà di linguaggio.
INF/01 - INFORMATICA - CFU: 0
MAT/01 - LOGICA MATEMATICA - CFU: 0
Laboratori: 32 ore
Lezioni: 32 ore
Turni:
Turno A
Docente: Aguzzoli Stefano
Turno C
Docente: Fiorentini Camillo
Siti didattici
Docente/i
Ricevimento:
su appuntamento
stanza 4010 via Celoria 18
Ricevimento:
Su appuntamento
Via Comelico, 39 - Ufficio S.202