Informazioni di Informatica Teorica

Dipartimento: Ingegneria
Settore Ministeriale: ING-INF/05
Codice di verbalizzazione: 8037394
Metodi di insegnamento: Frontale
Metodi di valutazione: Scritto E Orale
Prerequisiti: Nozioni di base di Computer Science. Algoritmi e strutture di dati. Elementi di Algebra e di Calcolo dei Predicati.
Obiettivi: Il corso offre una panoramica dei metodi di definizione della semantica dei linguaggi imperativi, funzionali, logici e concorrenti. Tali metodi migliorano la comprensione logico-algebrica di varie tecniche per la specifica e la verifica di proprietà dei programmi scritti in tali linguaggi. Vengono proposti alcuni progetti di programmazione che richiedono lo sviluppo e l'uso di opportuni strumenti software in modo da rinforzare la comprensione delle nozioni teoriche.
Ricevimento: Dopo le lezioni e per appuntamento. After the lectures and by appointment.

Navigazione Utente: