20710114 - LOGICA, COMPUTAZIONE, COGNIZIONE - LM

INTRODUZIONE AI TEMI DI RICERCA CHE COLLEGANO TRA LORO LA LOGICA, LA COMPUTAZIONE E LA COGNIZIONE.
scheda docente | materiale didattico

Programma

studio dei linguaggi formali in rapporto ai modelli di calcolo

Testi Adottati

note del corso a cura del docente

Modalità Valutazione

Prova scritta, prova orale e valutazione del progetto