Obiettivi formativi:
L'insegnamento si propone di far acquisire negli studenti consapevolezza del ragionamento logico, in entrambi gli ambiti di suo riferimento: quello relativo alla certezza e quello relativo all'incertezza.
In entrambi i casi si affronteranno aspetti di tipo "paradossale" per evidenziare la potenza degli
strumenti concettuali trattati al fine di una loro comprensione e risoluzione.

Programma
Logica del certo:
Insiemi, operazioni e cardinalità. Proposizioni logiche e loro operazioni. Eventi possibili , certi,
impossibili. Partizioni, costituenti.
Logica dell'incerto:
Come misurare l'incertezza. Probabilità qualitativa e quantitativa di un evento. Criterio della
scommessa coerente. Proprietà di una probabilità coerente. Teoremi delle probabilità totali,
composte, teorema di Bayes. Eventi indipendenti. Modello bernoulliano. Numeri aleatori e loro previsione. Il problema dell'inferenza probabilistica.