Scienza?...al Dini!

 

 

 

La Macchina di Turing

 

 

 

La formalizzazione del calcolo automatico é un problema dell'informatica moderna ed ha segnato tutto lo sviluppo della logica del ventesimo secolo. In questo laboratorio affronteremo in particolare il formalismo delle "Macchine di Turing" (MdT) con i suoi risvolti sul problema della calcolabilità e dei linguaggi formali. La progettazione di alcune semplici MdT sarà il punto di partenza per una riflessione su argomenti che toccano i fondamenti della matematica.

clicca per vedere il lavoro del gruppo
 
 
 
       
Laboratori
 
       
Precedente
 
  Ritorna in Home  
Successivo