Elementi di Matematica di Base 2 – Statale di Milano

Università degli Studi di Milano · Facoltà di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Vincenzo Marra Canale unico

Corso di laurea: Matematica (triennale) · Laurea triennale (L-35) · esame facoltativo · 3 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 3 CFU · apri nel catalogo · Matematica (triennale) · 2º semestre ›

Il docente indica 4 testi · da studiare tutti

Bellissima – La verità trasmessa Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Wilder – Introduction to the foundations of mathematics Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Hatcher – Foundations of mathematics Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Jech – Set Theory Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Il materiale sarà discusso all'inizio delle lezioni e reso disponibile tramite il sito MyAriel del corso. Parti dei seguenti riferimenti generali possono essere utili.

Argomenti del programma: Prima Parte. Cosa vuol dire dimostrare un teorema? Le dimostrazioni alla moviola: casi di studio tratti dalla Storia della Matematica. La formalizzazione del linguaggio della matematica. La formalizzazione dell'inferenza logica e delle dimostrazioni. Attraverso lo specchio: cenni alla distinzione fra sintassi e semantica nella pratica matematica. A cosa serve formalizzare la matematica? Seconda Parte.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.