Computer Science - Informatica

Obiettivi generali: Il corso si propone di fornire agli studenti metodi e strumenti software avanzati per la modellazione, progettazione, verifica e validazione automatica di sistemi intelligenti. Obiettivi specifici: Il corso di propone di mettere gli studenti in grado di comprendere tecniche avanzate di modellazione, progettazione, verifica e validazione per sistemi intelligenti. Conoscenza e comprensione: Introduzione ad ampio spettro alle metodologie avanzate per la modellazione, progettazione ed analisi dei sistemi intelligenti. Applicazione di conoscenza e comprensione: Saper applicare il portafoglio di tecniche e gli approcci illustrati per la modellazione, progettazione, verifica e validazione di sistemi intelligenti. Autonomia di giudizio: Gli studenti saranno in grado di prendere autonomamente decisioni razionali sulle tecniche e gli strumenti software da impiegare nella modellazione, progettazione, verifica e validazione di sistemi intelligenti. Abilità comunicative: Gli studenti saranno in grado di interagire in modo proficuo con esperti di dominio su un'ampia gamma di argomenti relativi alla modellazione, progettazione, verifica e validazione di sistemi intelligenti. Capacità di apprendimento: Gli studenti saranno in grado di ampliare le loro conoscenze in modo autonomo consultando, secondo necessità, la letteratura scientifica di rilievo.