Studiare

In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.

Piano Didattico

Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.

2° Anno  Attivato nell'A.A. 2016/2017

InsegnamentiCreditiTAFSSD
6
A
MAT/02
Uno tra i seguenti insegnamenti
6
C
FIS/01
6
C
SECS-P/01
6
B
MAT/03
Uno tra i seguenti insegnamenti
6
C
SECS-P/01
6
B
MAT/06

3° Anno  Attivato nell'A.A. 2017/2018

InsegnamentiCreditiTAFSSD
Uno o due insegnamenti tra i seguenti per un totale di 12 cfu
6
C
SECS-P/05
Prova finale
6
E
-
Attivato nell'A.A. 2016/2017
InsegnamentiCreditiTAFSSD
6
A
MAT/02
Uno tra i seguenti insegnamenti
6
C
FIS/01
6
C
SECS-P/01
6
B
MAT/03
Uno tra i seguenti insegnamenti
6
C
SECS-P/01
6
B
MAT/06
Attivato nell'A.A. 2017/2018
InsegnamentiCreditiTAFSSD
Uno o due insegnamenti tra i seguenti per un totale di 12 cfu
6
C
SECS-P/05
Prova finale
6
E
-
Insegnamenti Crediti TAF SSD
Tra gli anni: 1°- 2°- 3°
Tra gli anni: 1°- 2°- 3°
Altre attività formative
6
F
-

Legenda | Tipo Attività Formativa (TAF)

TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S02752

Crediti

6

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

MAT/01 - LOGICA MATEMATICA

Periodo

I semestre dal 1 ott 2015 al 29 gen 2016.

Obiettivi formativi

Metodi e concetti fondamentali della matematica, in particolare il metodo della dimostrazione ed il linguaggio degli insiemi.

Programma

Proposizioni e predicati
Connettivi e quantificatori
Insiemi, elementi, sottoinsiemi
Il metodo assiomatico-deduttivo
Terminologia matematica
Tecniche della dimostrazione
Relazioni e funzioni
Famiglie e sequenze
Gli assiomi di Peano
Sistemi di numeri
Metodi transfiniti

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Day, Martin An Introduction to Proofs and the Mathematical Vernacular. 2015 https://www.math.vt.edu/people/day/ProofsBook/IPaMV.pdf Testo disponibile dall'autore sotto Creative Commons.
Velleman, Daniel J. How to Prove It: A Structured Approach (Edizione 2) Cambridge University Press 2006 978-0-521-67599-4
Cantini, Andrea & Minari, Pierluigi Introduzione alla logica : linguaggio, significato, argomentazione. (Edizione 1) Le Monnier 2009 978-88-00-86098-7
Halmos, Paul Teoria elementare degli insiemi (Edizione 4) Feltrinelli 1981

Modalità d'esame

Prova scritta.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI