Prof. Luca Spada

Università degli Studi di Salerno · Dipartimento di Matematica · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Luca Spada

METODO BREVE, SPRINGER-ITALIA, MILAN (2011) – Logica Matematica (Matematica – sede di Fisciano, 3º anno · 1º semestre · 7 CFU)
Vito Abrusci – LORENZO TORTORA DE FALCO – Logica Matematica (Matematica – sede di Fisciano, 3º anno · 1º semestre · 7 CFU)
ELLIOTT MENDELSON - INTRODUZIONE ALLA LOGICA MATEMATICA, BOLLATI-BORINGHIERI. – Logica Matematica (Matematica – sede di Fisciano, 3º anno · 1º semestre · 7 CFU)
Borga – OLTRE IL MITO DELLA CRISI – Fondamenti della Matematica (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)
Lolli – SEDIE E BOCCALI DI BIRRA – Fondamenti della Matematica (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)
Leonesi – MIRACOLI E PARADOSSI – Fondamenti della Matematica (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)
Leinster – BASIC CATEGORY THEORY – Algebra Universale e Teoria delle Categorie (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)
AN INTRODUCTION TO CATEGORY THEORY – Algebra Universale e Teoria delle Categorie (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)
Topoi – THE CATEGORIAL ANALYSIS OF LOGIC – Algebra Universale e Teoria delle Categorie (Matematica – sede di Fisciano, esame facoltativo · 6 CFU)

Materie del prof. Luca Spada

Logica Matematica Canale unico

Corso di laurea: Matematica – sede di Fisciano · Laurea triennale (L-35) · 3º anno · 1º semestre · 7 CFU

Salerno · Dipartimento di Matematica · 7 CFU · apri nel catalogo · Matematica – sede di Fisciano · 3º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

LOGICA

METODO BREVE, SPRINGER-ITALIA, MILAN (2011)Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Vito Abrusci – LORENZO TORTORA DE FALCO Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

ELLIOTT MENDELSON - INTRODUZIONE ALLA LOGICA MATEMATICA, BOLLATI-BORINGHIERI.Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: LOGICA PROPOSIZIONALE (20 ORE): - LA SINTASSI DELLA LOGICA PROPOSIZIONALE. TAVOLE DI VERITÀ. SODDISFACIBILITÀ. TAUTOLOGIE. - DEDUZIONE NATURALE. TEOREMI FORMALI. - IL PROBLEMA SAT. METODO DI RISOLUZIONE. CENNI AL PROBLEMA P = NP - TEOREMA DI DEDUZIONE DELLA LOGICA PROPOSIZIONALE. - TEOREMA DI COMPLETEZZA DELLA LOGICA PROPOSIZIONALE. - TEOREMA DI COMPATTEZZA.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Fondamenti della Matematica Canale unico

Corso di laurea: Matematica – sede di Fisciano · Laurea triennale (L-35) · esame facoltativo · 6 CFU

Salerno · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Matematica – sede di Fisciano · 3º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

Borga – OLTRE IL MITO DELLA CRISI Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Lolli – SEDIE E BOCCALI DI BIRRA Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Leonesi – MIRACOLI E PARADOSSI Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: SISTEMI FORMALI (8 ORE) - SISTEMI FORMALI E METODO ASSIOMATICO. - ESEMPI DI METODI ASSIOMATICI. GEOMETRIE NON EUCLIDEE. - COERENZA, COMPLETEZZA, CATEGORICITÀ E INDIPENDENZA DI UN SISTEMA FORMALE. LA CRISI DEI FONDAMENTI (12 ORE) - IL PROGRAMMA DI HILBERT. - CALCOLABILITÀ - CENNI SUI TEOREMI DI INCOMPLETEZZA DI GÖDEL. ZFC (22 ORE) - IL LINGUAGGIO DELLA TEORIA DEGLI INSIEMI. - LA TEORIA DI ZERMELO-FRANEKEL.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Algebra Universale e Teoria delle Categorie Canale unico

Corso di laurea: Matematica – sede di Fisciano · Laurea magistrale (LM-40) · esame facoltativo · 6 CFU

Salerno · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Matematica – sede di Fisciano · 2º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

Leinster – BASIC CATEGORY THEORY Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

AN INTRODUCTION TO CATEGORY THEORY Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Topoi – THE CATEGORIAL ANALYSIS OF LOGIC Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

S. BURRIS, H. P. SANKAPPANAVAR. A COURSE ON UNIVERSAL ALGEBRA. (DISPONIBILE GRATUITAMENTE ONLINE)

Argomenti del programma: - RICHIAMI DI TEORIA DEI RETICOLI E CONNESSIONI DI GALOIS (6 ORE) - CONGRUENZE E DECOMPOSIZIONI SOTTODIRETTE (4 ORE) - CATEGORIE, FUNTORI E TRASFORMAZIONI NATURALI (10 ORE) - AGGIUNZIONI (8 ORE) - ALGEBRE LIBERE. (6 ORE) - PRODOTTI, COPRODOTTI, LIMITI E CO-LIMITI (8 ORE) - CATEGORIE REGOLARI (6 ORE)

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Domande frequenti

Quali libri consiglia il prof. Luca Spada per Logica Matematica?

METODO BREVE, SPRINGER-ITALIA, MILAN (2011); Vito Abrusci – LORENZO TORTORA DE FALCO; ELLIOTT MENDELSON - INTRODUZIONE ALLA LOGICA MATEMATICA, BOLLATI-BORINGHIERI.

Quali libri consiglia il prof. Luca Spada per Fondamenti della Matematica?

Borga – OLTRE IL MITO DELLA CRISI; Lolli – SEDIE E BOCCALI DI BIRRA; Leonesi – MIRACOLI E PARADOSSI

Quali libri consiglia il prof. Luca Spada per Algebra Universale e Teoria delle Categorie?

Leinster – BASIC CATEGORY THEORY; AN INTRODUCTION TO CATEGORY THEORY; Topoi – THE CATEGORIAL ANALYSIS OF LOGIC