Informazioni di Logica E Reti Logiche

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)

Navigazione Utente: