Interpretazione astratta probabilistica

  1. Home
  2. Didattica
  3. Corsi di laurea specialistica
  4. Laurea specialistica in Informatica
  5. Elenco delle proposte di tesi e stage

Proposta di tesi

Interpretazione astratta probabilistica

Garante
Alessandra Di Pierro
Corso di studi
Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013), Laurea in Informatica (ordinamento fino all'a.a. 2008/09), Laurea specialistica in Informatica

Descrizione

Il problema che si vuole affrontare e' quello di dare una caratterizzazione in termini categoriali della relazione tra domini astratti e concreti nell'ambito dell'analisi approssimata di programmi probabilistici. A questo scopo si intende studiare la costruzione di categorie appropriate per rappresentare i domini probabilistici (spazi vettoriali e algebre di operatori).

Condividi