This is an old revision of the document!
Logica Matematica
News
- 8 Febbraio 2017: Si comunica che, su richiesta, la lezione di recupero di Logica Matematica, prevista per domani 9 Febbraio, si svolgerà dalle 9 alle 11.
- 9 Ottobre 2016: Sono stati caricati i materiali didattici
Informazioni Generali
Docente:
Orario delle Lezioni:
- Martedì, 9 - 11 Aula Dijkstra
- Giovedì, 11 - 13 Aula Dijkstra
Ricevimento studenti:
- Martedì ore 17.00 - 19.00, oppure su appuntamento richiesto via e-mail.
Obiettivi del Corso
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.
Contenuti del Corso
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.
Materiale
Esami
Date Esami A.A. 2016/2017
- 1a sessione
- 2a sessione
- 3a sessione
- 4a sessione
Regole di esame:
Risultati Esame
- N/A
