Elementi di Matematica Informatica Teorica (LT)

Moduli corso | Materiale didattico

Avviso

Il corso Elementi di Matematica Informatica Teorica (LT) non verrà erogato nell’anno accademico 2019-2020. 

Logica, Probabilità e Algoritmi

Nel suo fortunato Turing’s Cathedral (Pantheon, 2012) George Dyson riassume il ruolo della rivoluzione informatica del secolo scorso affermando

Facebook defines who we are, Amazon defines what we want, and Google defines what we think.

Viviamo in smart cities connesse attraverso una fitta rete informatica, lo stato della nostra economia è legato a doppio filo a valutazioni probabilistiche di risk rating, molte agenzie di sicurezza nazionali puntano sulle capacità degli algoritmi di apprendimento automatico di estrarre informazioni significative da big data che ognuno di noi dissemina, più o meno consapevolmente, nell’infosfera.

Il corso su Logica, Probabilità e Algoritmi ha lo scopo di fornire un’alfabetizzazione al ragionamento formale, quantitativo e algoritmico. Oltre a essere propedeutico per i tutti i corsi di area logico-linguistico-scientifica, il corso offre l’opportunità di acquisire alcune competenze fondamentali alla partecipazione attiva nella società dell’informazione.

Il corso (9cfu) è consigliato a studentesse e studenti del primo anno del corso di laurea in filosofia. 

Moduli del corso

  1. Algoritmi e complessità (Prof. Marcello D’Agostino)
  2. Logica e matematica discreta
  3. Probabilità e statistica descrittiva

Dettagli pratici

Il corso è progettato sotto l’ipotesi che studentesse e studenti frequentino assiduamente le lezioni, e le numerose esercitazioni che le accompagnano. Queste forniscono momenti preziosissimi per la verifica dell’apprendimento e per colmare eventuali lacune nella comprensione del materiale.

 

Materiale didattico

 

Modulo 1: Algoritmi

Ecco le dispense preparate dal professor D’Agostino.

Dispensa n. 1

Dispensa n. 2

Per saperne di più su Turing potete leggere i contributi di Gabriele Lolli e Piergiorgio Odifreddi nel volume Menti e macchine Alan Mathison Turing a cento anni dalla nascita a cura di Hykel Hosni, Edizioni della Normale 2016. Il volume contiene molti spunti che possono essere sviluppati in progetti di laurea triennale.

Moduli 2-3: Elementi di matematica discreta e probabilità

Per saperne di più sulle applicazioni del ragionamento probabilistico alle previsioni (e quindi anche sulla dimensione sociale delle decisioni che ne conseguono) vi consiglio di guardare questi video podcast. Alcuni interventi possono costituire la base per ottime tesi di laurea triennale.

 Esiti prima prova scritta

Link ai voti

Per visionare i compiti potete presentarvi a ricevimento dal professor D’Agostino (martedì 10:30)