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.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2016/2017
Insegnamenti | Crediti | TAF | SSD |
---|
3° Anno Attivato nell'A.A. 2017/2018
Insegnamenti | Crediti | TAF | SSD |
---|
Uno o due insegnamenti tra i seguenti per un totale di 12 cfu
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Uno o due insegnamenti tra i seguenti per un totale di 12 cfu
Insegnamenti | Crediti | TAF | SSD |
---|
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.
Fondamenti della matematica I (2015/2016)
Codice insegnamento
4S02752
Docente
Coordinatore
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
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.