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
 

2

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

3

 Elena Bastia (LT)
Epistemic Logic and Awareness
 

4

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

5

   

6

   

7

   

8

   

9

   

10

   

11

   

12

   

13

   

14

   

15

   

16

   

17

   

18

   

19

   

20