====== 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**:
* [[http://docenti.unicam.it/pdett.aspx?ids=N&tv=d&UteId=612&ru=PA|Sonia L'Innocente]]
* Si consiglia la partecipazione preliminare al [[http://tutorato.unicam.it/corso-intensivo-di-base-di-matematica-e-logica-2018|Corso Intensivo di Matematica e Logica]]
**Link ESSE3**
* [[https://didattica.unicam.it/Guide/PaginaADErogata.do?ad_er_id=2018*N0*N0*S1*14608*8349&ANNO_ACCADEMICO=2018&mostra_percorsi=S|Logica Matematica - AA 2018/19]]
**Orario delle Lezioni**:
* ...
**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 =====
**Slide del Corso**
* {{ :didattica:triennale:logica:slidescap1-2-3-4.pdf |Capitoli 1, 2, 3, 4}}
* {{ :didattica:triennale:logica:slidescap4-5-6.pdf |Capitoli 4, 5, 6}}
* {{ :didattica:triennale:logica:ay_1819:dnfcnf.pdf |Forme Normali}}
**Testi di Riferimento**
* S. L'innocente "{{ :didattica:triennale:logica:dispense_linnocente16-17.pdf |Dispense di Logica Matematica}}"
* {{ :didattica:triennale:logica:ay_1819:naturaldeduction.pdf |Note sulla Deduzione Naturale}}
----
===== Esami =====
**Date Esami A.A. 2016/2017**
* 1a sessione
* 2a sessione
* 3a sessione
* 4a sessione
**Regole di esame**:
** Risultati Esame **
* N/A