Navigazione di Sezione:
Logica E Reti Logiche 2013/2014
Generali:
- Dipartimento: Scienze Matematiche, Fisiche E Naturali
- Settore Ministeriale: ING-INF/05
- Codice di verbalizzazione: 8066632
- Metodi di insegnamento: Frontale E Altro
- Metodi di valutazione: Scritto E Orale
- Prerequisiti: Nessuno
- Obiettivi: ntroduzione generale alla logica matematica. Sistemi formali. Assiomi, regole di derivazione, teoremi. Teorie logiche e interpretazioni. Consistenza e completezza. Calcolo proposizionale. Operatori logici, tavole di verità . Sintesi di reti logiche combinatorie. Calcolo dei predicati.
- 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.: 2013/2014
- Canale: UNICO
- Crediti: 6