Informazioni di Logica Per La Programmazione E La Dimostrazione Automatica

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: ING-INF/05
Codice di verbalizzazione: 8066491
Metodi di insegnamento: Frontale E Altro
Metodi di valutazione: Scritto E Orale
Prerequisiti: Conoscenza della Programmazione Procedurale
Obiettivi: - Conoscenza della Programmazione Dichiarativa - Apprendimento di Tecniche di Base per la Programmazione Logica - Costruzione di sistemi complessi con Prolog
Ricevimento: Per l'orario di ricevimento: mandare una mail al docente con oggetto: Richiesta ricevimento Luogo: presso lo studio (Palazzo: Ingegneria dell'Informazione - Macroarea Ingegneria - Studio A1-14)

Navigazione Utente: