Contenuto principale

Primiero, Giuseppe

Aree tematiche di elaborati finali e tesi di laurea:

 

  • Logiche epistemiche e doxastiche
  • Logica modale
  • Teoria della Dimostrazione
  • Logica computazionale
  • Teorie dei Tipi
  • Fondamenti dell'Informatica
  • Storia e Filosofia della Computazione
  • Filosofia dell'Informazione

 

 


 

Elenco dei laureandi

N. progressivo

Nome e cognome del laureando

Numero di matricola

1

Lorenzo Prandi (LM)
Distrust with Paranoid Agents

Marzo 2020

 

2

Giorgio Cignarale (LM)
A formal model for genetically non-neutral information with inferential depth 

Marzo 2020

 

3

 Elena Bastia (LT)
Epistemic Logic and Awareness
 

4

 Andrè Velasquez Huillcas (LM)
Tecniche di Interpretazione in ML
 

5

 GIada Tamburrino (LM)
La causalità probabilistica

 

6

 Alessandro Giuseppe Buda (LT)
Gli artefatti computazionalicome oggetti linguistici:
un approccio pragmatico
 

7

 Savina Squarciotta (LM)
Big Data e Machine Learning in Informatica Commerciale
 

8

 Marta Reguzzoni (LT)
Fiducia in ambienti online
 

9

   

10

   

11

   

12

   

13

   

14

   

15

   

16

   

17

   

18

   

19

   

20