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 (LT)
Computability and Quantum TM
 

2

Lorenzo Prandi (LM)
Distrust with Paranoid Agents
 

3

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

4

 Elena Bastia (LT)
Epistemic Logic and Cognitive States 
 

5

Giada Tamburrino (LM) 
Causality in AI
 

6

   

7

   

8

   

9

   

10

   

11

   

12

   

13

   

14

   

15

   

16

   

17

   

18

   

19

   

20