LOGICA, COMPUTAZIONE, COGNIZIONE - LM
(obiettivi)
INTRODUZIONE AI TEMI DI RICERCA CHE COLLEGANO TRA LORO LA LOGICA, LA COMPUTAZIONE E LA COGNIZIONE. Verranno studiati i linguaggi formali e le loro corrispondenze con i modelli del calcolo computazionale.
|