Conoscenza e capacità di comprensione
Gli studenti acquisiranno una solida comprensione dei principali paradigmi di programmazione, con particolare attenzione a quello logico e a quello funzionale. Comprenderanno le differenze concettuali tra i paradigmi, nonché le motivazioni storiche e teoriche alla base del loro sviluppo, inclusi aspetti legati alla tipizzazione, alla modellazione dei problemi e al controllo del flusso computazionale.
Conoscenza e capacità di comprensione applicate
Gli studenti saranno in grado di applicare le conoscenze acquisite nello sviluppo di programmi in linguaggi rappresentativi dei paradigmi studiati (es. Common Lisp per il paradigma funzionale, Prolog per quello logico). Utilizzeranno ambienti di sviluppo specifici per progettare e implementare soluzioni a problemi di complessità medio-bassa, anche in contesti applicativi diversi.
Autonomia di giudizio
Gli studenti svilupperanno la capacità di valutare criticamente i diversi paradigmi di programmazione in relazione al problema da risolvere, scegliendo consapevolmente linguaggi e tecniche in base ai vincoli del dominio applicativo. Saranno in grado di analizzare e confrontare approcci alternativi alla programmazione sulla base di criteri teorici e pratici.
Abilità comunicative
Gli studenti saranno in grado di descrivere in modo chiaro e rigoroso soluzioni software e scelte progettuali, sia oralmente sia per iscritto, utilizzando un linguaggio tecnico appropriato. Sapranno inoltre discutere e motivare le scelte di paradigma e linguaggio adottate in relazione al problema affrontato.
Capacità di apprendere
Il corso fornirà agli studenti strumenti teorici e pratici per approfondire autonomamente nuovi linguaggi e modelli di programmazione. In particolare, saranno messi in grado di affrontare con consapevolezza e spirito critico l’apprendimento di linguaggi non trattati direttamente nel corso ma appartenenti ai paradigmi studiati.