Elementi di Matematica Informatica Teorica (LT)

Moduli corso | Materiale didattico

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 Logica, Probabilità e Algoritmi ha lo scopo di fornire un’alfabetizzazione al ragionamento formale, quantitativo e automatico. Oltre a essere propedeutico per i tutti i corsi di area logico-linguistico-scientifica, il corso offre un’opportunità a tutte le studentesse e gli studenti 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.  Per questo il corso prevede tre prove intermedie relative ai rispettivi moduli. Il superamento di tutte e tre comporta un’immediata proposta di voto al primo appello. Anche se le prove intermedie non sono obbligatorie, sono fortissimamente consigliate perché vi consentono di strutturare il lavoro in modo molto bilanciato e quindi proficuo.

  • Orario per il 2018
  • Prima prova parziale 12 marzo 2018
  • Seconda prova parziale prevista per il 19 aprile 2018
  • Terza prova parziale prevista per il 14 maggio 2018

Le date tengono conto del calendario accademico ma è soggetto ad aggiustamenti dovuti a contingenze al momento non prevedibili. Le date definitive verranno indicate a lezione.

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

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

Risultati Parziali