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

 Tommaso Locatelli 
(Computability and Quantum TM)
 

2

 Lorenzo Prandi
(Distrust and Information Transmission)

 

3

   

4

   

5

   

6

   

7

   

8

   

9

   

10

   

11

   

12

   

13

   

14

   

15

   

16

   

17

   

18

   

19

   

20