Docente:
Link ESSE3
Orario delle Lezioni:
Ricevimento studenti:
Apprendere i concetti basilari della logica matematica esaminando, in particolare, gli strumenti della logica proposizionale e della logica del primo ordine. Applicare metodi di logica nell'informatica (nella scrittura e nella verifica dei programmi). Introdurre la possibilità di problemi senza soluzione o senza soluzione rapida.
Costanti logiche, Tecniche di dimostrazione, Insiemi e relazioni, Principio di Induzione, Sintassi (logica preposizionale e logica dei predicati), Semantica Tarskiana, Formalizzazione (dal linguaggio alla logica), Cardinalità di insiemi.
Date Esami A.A. 2016/2017
Regole di esame:
Risultati Esame