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:

Link ESSE3

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

Testi di Riferimento

Esami

Date Esami A.A. 2016/2017

  • 1a sessione
  • 2a sessione
  • 3a sessione
  • 4a sessione

Regole di esame:

Risultati Esame

  • N/A