Università Roma Tre

IL CORSO TEORIA DELLA COMPUTAZIONE E DELL'INTERAZIONE È DEDICATO ALL'APPROFONDIMENTO DEGLI ASPETTI TEORICI LEGATI AL CONCETTO DI COMPUTAZIONE E ALLO STUDIO DELLA RELAZIONI TRA DIVERSI MODELLI DI CALCOLO. LA COMPETENZA DI BASE SULL'INFORMATICA VIENE AMPLIATA CON NUOVI CONCETTI E PUNTI DI VISTA TEORICI. IL CORSO È SUDDIVISO IN DUE MODULI DA 6 CFU IN MODO DA PERMETTERE CHE L'ESAME VENGA SOSTENUTO SOLO SUL PRIMO MODULO (6 CFU) O SU ENTRAMBI (12 CFU). PIÙ IN DETTAGLIO, IL CORSO FORNISCE UNA PRESENTAZIONE DEI CONCETTI FORMALI DI ALGORITMO E DI COMPUTABILITÀ. DOPO L'INTRODUZIONE CLASSICA DEL CONCETTO DI COMPUTABILITÀ MEDIANTE LA FORMALIZZAZIONE DATA DA ALAN M. TURING VERRANNO AFFRONTATI I CONCETTI DI BASE DELLA COMPLESSITÀ ALGORITMICA ED ALCUNE QUESTIONI RIGUARDANTI LA DECIDIBILITÀ, I MODELLI FUNZIONALI E PIÙ IN GENERALE SULLA PROGRAMMAZIONE FUNZIONALE. IL SECONDO MODULO DEL CORSO SI CONCENTRERÀ SULLA QUESTIONE DEI PARADIGMI INTERATTIVI CHE NELLA TEORIA DELLA COMPUTAZIONE PERMETTONO LA DESCRIZIONE DI ULTERIORI CLASSI DI COMPLESSITÀ E DEL LORO UTILIZZO NELLA SEMANTICA DELLE DIMOSTRAZIONI.