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.
Verranno studiati i linguaggi formali e le loro corrispondenze con i modelli del calcolo computazionale.
scheda docente
materiale didattico
Programma
studio dei linguaggi formali in rapporto ai modelli di calcoloTesti Adottati
note del corso a cura del docenteModalità Erogazione
- Modalità di svolgimento Il corso prevede: Didattica frontale; Discussioni con gli studenti e dibattiti sugli argomenti trattati; Esercitazioni; La frequenza non è obbligatoria ma è vivamente raccomandata.Modalità Valutazione
Esame scritto e/o orale, di durata variabile, in media tra 60 e 80 minuti oppure un piccolo elaborato scritto di 3-5 pagine