20710114 - LOGICA, COMPUTAZIONE, COGNIZIONE - LM

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.
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à 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