Didattica

Tutte le informazioni relative ai corsi da me tenuti a partire dall'anno accademico 2006/2007 presso il corso di Laurea in Informatica dell'Università dell'Insubria si possono trovare sul sito di e-learning dell'università (accessibile solo agli utenti registrati).

  • Le slide del corso di Logica Matematica (corso complementare per gli studenti della triennale di informatica) si posso scaricare qui. Chiaramente è possibile (anzi, possibilissimo) che ci siano errori nelle slide. Se ne trovate vi prego di segnalarmelo. Se invece pensate che le slide possano esservi utili, usatele pure e... fatemelo sapere!

  • All'indirizzo http://www.dista.uninsubria.it/~brunella.gerla/nolli/ si può invece trovare del materiale didattico interattivo per il corso di Algebra e Geometria (I anno della triennale di informatica). Queste pagine, sviluppate per una tesi triennale in Informatica, utilizzano principalmente GeoGebra.

Proposte di Tesi

  • (Magistrale) Managing Uncertainty and Vagueness in Description Logic: lo scopo della tesi e' di studiare le logiche descrittive per il Semantic web in relazione all'informazione incerta e fuzzy. Punto di partenza sono i lavori:
    • Straccia, U. Reasoning within Fuzzy Description Logics . Journal of Artificial Intelligence Research, Vol. 14: 137-166, 2001.
    • Stoilos et el., The fuzzy description logic f-SHIN. Scarica
    • Straccia, U. Managing Uncertainty and Vagueness in Description Logic etc. Scarica.
  • (Magistrale) Probabilita' di eventi fuzzy:
    • L. Zadeh, Probability of fuzzy events scarica.
    • M. Navara, Probability theory of fuzzy events scarica.
  • (Triennale) Librerie Java per la logica fuzzy: esistono diverse librerie, principalmente orientate al controllo fuzzy. Scopo della tesi e' fornire funzioni di libreria per connettivi logici a piu' valori di verita'.
  • Algebra lineare con gli operatori max-plus: si tratta di riportare molti dei concetti dell'algebra lineare come risoluzione di sistemi lineari, calcolo di autovalori e autovettori, etc., nell'ambito della cosidetta geometria tropicale, con particolare riferimento agli operatori derivanti dalle t-norme.