Prof. Marilena Crupi

Università degli Studi di Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Marilena Crupi

Ben-Ari – Logica Matematica per l'informatica – Logica per Informatica (Informatica – sede di Messina, 2º anno · 1º semestre · Tecnologie Informatiche · 6 CFU)
Lolli – Introduzione alla logica formale – Logica per Informatica (Informatica – sede di Messina, 2º anno · 1º semestre · Tecnologie Informatiche · 6 CFU)
Curzio – Lezioni di Algebra – Algebra I (Matematica – sede di Messina, 1º anno · 1º semestre · 12 CFU)
Piacentini Cattaneo – Un approccio algoritmico – Algebra I (Matematica – sede di Messina, 1º anno · 1º semestre · 12 CFU)
Curzio – Esercizi di Algebra – Algebra I (Matematica – sede di Messina, 1º anno · 1º semestre · 12 CFU)
Ragusa – Collezione di Esercizi di Algebra – Algebra I (Matematica – sede di Messina, 1º anno · 1º semestre · 12 CFU)
Ragusa – Corso di Algebra – Algebra I (Matematica – sede di Messina, 1º anno · 1º semestre · 12 CFU)
Atiyah – Introduzione all’Algebra commutativa – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)
Bandini – Esercizi di algebra commutativa – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)
Hilton – A Course in Homological Algebra – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)
Rotman – An Introduction to Homological Algebra – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)
Weibel – An introduction to homological algebra – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)
Atiyah – Introduction to Commutative Algebra – Algebra Superiore (Matematica – sede di Messina, 1º anno · 2º semestre · Curriculum Teorico · 12 CFU)

Materie del prof. Marilena Crupi

Logica per Informatica Canale unico

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

Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · 6 CFU · apri nel catalogo · Informatica – sede di Messina · 2º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

Ben-Ari – Logica Matematica per l'informatica Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Lolli – Introduzione alla logica formale 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: Teoria degli insiemi: Relazioni d'ordine. Insieme ordinato. Estremo superiore. Estremo inferiore. Massimo. Minimo. Reticolo. Reticolo limitato, complementato. Algebra di Boole. Il calcolo proposizionale: Operatori Booleiani. Formule proposizionali. Interpretazioni booleiane. Equivalenza logica. Soddisfacibilità, validità e conseguenza logica. Tableaux semantici. Dimostrazioni deduttive.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Algebra I Canale unico

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

Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · 12 CFU · apri nel catalogo · Matematica – sede di Messina · 1º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

Curzio – Lezioni di Algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Piacentini Cattaneo – Un approccio algoritmico Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Curzio – Esercizi di Algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Ragusa – Collezione di Esercizi di Algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Ragusa – Corso di Algebra 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: Teoria degli insiemi: Insiemi. Operazioni sugli insiemi. Corrispondenze. Applicazioni. Relazione di equivalenza. Insieme quoziente. Relazione di ordine. Insiemi ordinati. Reticoli. Prodotto cartesiano di una famiglia di insiemi. Assioma della scelta. Potenza di un insieme. Insiemi infiniti. Potenza del numerabile e del continuo. Strutture algebriche: operazioni interne ed esterne. Semigruppi. Monoidi. Gruppi.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Algebra Superiore Canale unico

Corso di laurea: Matematica – sede di Messina · Laurea magistrale (LM-40) · 1º anno · 2º semestre · Curriculum Teorico · 12 CFU

Messina · Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra · 12 CFU · apri nel catalogo · Matematica – sede di Messina · 1º anno · 2º semestre ›

Il docente indica 6 testi · da studiare tutti

Atiyah – Introduzione all’Algebra commutativa Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bandini – Esercizi di algebra commutativa Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Hilton – A Course in Homological Algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Rotman – An Introduction to Homological Algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Weibel – An introduction to homological algebra Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Atiyah – Introduction to Commutative Algebra 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: ------------------------------------------------------------ Modulo: 47/1 - ALGEBRA SUPERIORE MOD. A ------------------------------------------------------------ Modulo A: Moduli sinistri, destri e bilateri. Moduli finitamente generati. Prodotti diretti e somme dirette di moduli. Sequenze esatte. Lemma del serpente e sue applicazioni. Lemma dei cinque. Il modulo degli omomorfismi. Gli operatori Hom(-,- ).

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. Marilena Crupi per Logica per Informatica?

Ben-Ari – Logica Matematica per l'informatica; Lolli – Introduzione alla logica formale

Quali libri consiglia il prof. Marilena Crupi per Algebra I?

Curzio – Lezioni di Algebra; Piacentini Cattaneo – Un approccio algoritmico; Curzio – Esercizi di Algebra; Ragusa – Collezione di Esercizi di Algebra; Ragusa – Corso di Algebra

Quali libri consiglia il prof. Marilena Crupi per Algebra Superiore?

Atiyah – Introduzione all’Algebra commutativa; Bandini – Esercizi di algebra commutativa; Hilton – A Course in Homological Algebra; Rotman – An Introduction to Homological Algebra; Weibel – An introduction to homological algebra; Atiyah – Introduction to Commutative Algebra