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 calcoloTesti Adottati
note del corso a cura del docenteModalità Valutazione
Prova scritta, prova orale e valutazione del progetto