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: Algebra e Logica. Teoria degli Automi e Linguaggi Formai. Algoritmi e Strutture di dati. Nozioni fondamentali di Computer Science. Elementi di C++ o Java. Uso degli arrays, delle liste, dei puntatori e della ricorsione. Elementi di Algebra and elementi di Calcolo dei Predicati.
Obiettivi: Il corso offre una paronamica dei metodi di definizione della semantica dei linguaggi imperativi, funzionali, logici e concorrenti. Questi metodi approfondiscono la comprensione logico-algebrica di varie tecniche per la specifica e la verifica delle proprieta' di programmi scritti in quei linguaggi. Lo sviluppo di alcuni progetti di programmazione e l'uso di opportuni strumenti software aiuteranno la comprensione dei concetti teorici.
Ricevimento: Dopo le lezioni e per appuntamento. After the lectures and by appointment.

Navigazione Utente: