Libri UniversitariApri il catalogo

Logica Matematica – prof. Stefano Aguzzoli, Camillo Fiorentini

Informatica · Università degli Studi di Milano · 1º anno · 2º semestre · 6 CFU · canale unico

Testi d'esame di Logica Matematica del prof. Stefano Aguzzoli, Camillo Fiorentini, canale unico, corso di laurea in Informatica (Laurea triennale (L-31)), Università degli Studi di Milano, 1º anno · 2º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Dave Barker-Plummer – Proof and Logic.

Logica Matematica – Prof. Stefano Aguzzoli, Prof. Camillo Fiorentini Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 1º anno · 2º semestre · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo

Bibliografia

Dave Barker-Plummer – Proof and LogicVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso di Logica matematica per la triennale si propone come corso introduttivo alla logica, e ai suoi rapporti con il linguaggio e la formalizzazione di concetti. Il corso è naturalmente articolato in due parti principali: logica proposizionale e logica del primo ordine. Inoltre si approfondisce il tema del principio di induzione, in particolare nell'aritmetica di Peano.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Informatica, 1º anno, tutte le materie e i canali ›

Altre materie del prof. Aguzzoli, Fiorentini

Altri esami del 1º anno – Informatica

Vedi anche: Prof. Stefano Aguzzoli · Prof. Camillo Fiorentini · Logica Matematica a Statale di Milano (tutti i canali)