Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Scienze
MATEMATICA
Insegnamento
LOGICA MATEMATICA
SCM0014417, A.A. 2019/20

Informazioni valide per gli studenti immatricolati nell'A.A. 2017/18

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea in
MATEMATICA
SC1159, ordinamento 2008/09, A.A. 2019/20
N0
porta questa
pagina con te
Crediti formativi 7.0
Tipo di valutazione Voto
Denominazione inglese MATHEMATICAL LOGIC
Sito della struttura didattica http://matematica.scienze.unipd.it/2019/laurea
Dipartimento di riferimento Dipartimento di Matematica
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile MARIA EMILIA MAIETTI MAT/01

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Formazione Teorica MAT/01 7.0

Organizzazione dell'insegnamento
Periodo di erogazione Primo semestre
Anno di corso III Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
ESERCITAZIONE 4.0 32 68.0
LEZIONE 3.0 24 51.0

Calendario
Inizio attività didattiche 30/09/2019
Fine attività didattiche 18/01/2020
Visualizza il calendario delle lezioni Lezioni 2019/20 Ord.2008

Commissioni d'esame
Commissione Dal Al Membri
8 Logica Matematica - a.a. 2019/2020 01/10/2019 30/09/2020 MAIETTI MARIA EMILIA (Presidente)
CIRAULO FRANCESCO (Membro Effettivo)
BONOTTO CINZIA (Supplente)
MASCHIO SAMUELE (Supplente)

Syllabus
Prerequisiti: conoscenze di base di algebra e di topologia.
Conoscenze e abilita' da acquisire: Lo scopo principale del corso è quello di illustrare i legami tra sintassi e semantica di un linguaggio formale e mettere in evidenza sia le possibilità che i calcoli sintattici offrono, come pure i limiti espressivi e dimostrativi che essi impongono.
Modalita' di esame: scritto con orale facoltativo
Criteri di valutazione: si intendono valutare le conoscenze acquisite dallo studente sui temi del corso
Contenuti: Il corso verte sullo studio delle potenzialita' espressive e dei risultati limitativi di sistemi formali deduttivi
per la logica predicativa classica, per la logica predicativa intuizionista e per le loro estensioni con gli assiomi
dell'aritmetica di Peano.

Si studieranno:
-procedure di decisione per i frammenti proposizionali di entrambe le logiche,
- procedure di semidecisione per entrambe le logiche,
-i principali teoremi di equivalenza tra tali logiche e loro corrispondenti semantiche algebriche,
-i teoremi di incompletezza di Goedel per l'aritmetica classica e per l'aritmetica intuizionista.
Attivita' di apprendimento previste e metodologie di insegnamento: Lezioni frontali in aula
Eventuali indicazioni sui materiali di studio: Dispense provviste dal docente
Testi di riferimento:
  • Dirk van Dalen, Logic and structure. London: Springer, 2012. 5th revised, extended edition Cerca nel catalogo
  • A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory. --: Cambridge University Press, 1996. Cerca nel catalogo
  • Saunders Mac Lane, Categories for the Working Mathematician. --: Springer, 1978. Cerca nel catalogo

Didattica innovativa: Strategie di insegnamento e apprendimento previste
  • Lecturing
  • Laboratory
  • Case study
  • Interactive lecturing
  • Working in group
  • Questioning
  • Action learning
  • Problem solving
  • Mappe concettuali
  • Files e pagine caricati online (pagine web, Moodle, ...)

Obiettivi Agenda 2030 per lo sviluppo sostenibile
Salute e Benessere Uguaglianza di genere Acqua pulita e igiene La vita sott'acqua