Navigazione di Sezione:
Logica Per La Programmazione E La Dimostrazione Automatica 2012/2013
Generali:
- 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)
Didattica:
- A.A.: 2012/2013
- Canale: UNICO
- Crediti: 6