====== Logica Matematica ======
----
===== News =====
<WRAP center round important 95%>
  * <wrap em>**8 Febbraio 2017**</wrap>: 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  
</WRAP>

----
===== Informazioni Generali =====
<WRAP box round 95% center>
**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.
</WRAP>
----
===== Obiettivi del Corso =====

<WRAP box round 95% center>
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.
</WRAP>

----
===== Contenuti del Corso =====

<WRAP round 95% center box>
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.
</WRAP>
----
===== Materiale =====
<WRAP box round center 95%>
**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_1920: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_1920:naturaldeduction.pdf |Note sulla Deduzione Naturale}}
</WRAP>
----
===== Esami =====
<WRAP box round center 95%>
**Date Esami A.A. 2016/2017**
  * 1a sessione
  * 2a sessione
  * 3a sessione
  * 4a sessione
**Regole di esame**: 

** Risultati Esame **
  * N/A
</WRAP>