Libri UniversitariApri il catalogo

Prof. Emanuele Rodaro

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Emanuele Rodaro

Materie del prof. Emanuele Rodaro

Logica e Algebra 2 – con Prof. Achille Frigeri Canale unico

Corso di laurea: Computer Science and Engineering · Laurea triennale · esame facoltativo · COMPUTER SCIENCE AND ENGINEERING · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Computer Science and Engineering · 1º semestre ›

Testi consigliati (facoltativi)

Gabelli – Teoria delle Equazioni e Teoria di GaloisCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Lidl – Introduction to finite fields and their applicationsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Orlandelli – Corso di logica modale proposizionaleCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Frixione – Introduzione alle logiche modaliCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Goldblatt – Logics of time and computationCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • J. M. Landsberg, Tensors: geometry and applications, American Mathematical Society Note: Per la parte di tensori.
  • Appunti e registrazioni disponibili su webeep

Argomenti del programma: Il corso tratta argomenti di algebra e di logica matematica che hanno applicazioni dirette all'informatica, ossia la teoria dei campi finiti (crittografia), rudimenti di complessità algebrica (prodotti di polinomi, e tensori per prodotti di matrici) e la logica modale e multimodale (in particolare, le logiche temporali, utilizzate nel model checking). Il corso è suddiviso in due parti.

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

Geometria e Algebra Lineare FOT-LAF

Corso di laurea: Ingegneria Elettrica · Laurea triennale · 1º anno · 1º semestre · 8 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 8 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: MATRICI E VETTORI GEOMETRICI Vettori geometrici. Algebra delle matrici. Rango e metodo di Gauss. Matrice inversa e algoritmo di Gauss-Jordan. Determinante, interpretazione geometrica, operazioni su righe e colonne, teorema di Binet. SISTEMI LINEARI Nozioni fondamentali. Forma matriciale di un sistema lineare. Teorema di Rouché-Capelli. Procedimenti di risoluzione di un sistema lineare. Sistemi lineari omogenei.

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

Geometria e Algebra Lineare FOT-LAF

Corso di laurea: Ingegneria Elettronica · Laurea triennale · 1º anno · 1º semestre · 8 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 8 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: MATRICI E VETTORI GEOMETRICI Vettori geometrici. Algebra delle matrici. Rango e metodo di Gauss. Matrice inversa e algoritmo di Gauss-Jordan. Determinante, interpretazione geometrica, operazioni su righe e colonne, teorema di Binet. SISTEMI LINEARI Nozioni fondamentali. Forma matriciale di un sistema lineare. Teorema di Rouché-Capelli. Procedimenti di risoluzione di un sistema lineare. Sistemi lineari omogenei.

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

Geometria e Algebra Lineare FOT-LAF

Corso di laurea: Ingegneria Informatica · Laurea triennale · 1º anno · 1º semestre · 8 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 8 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: MATRICI E VETTORI GEOMETRICI Vettori geometrici. Algebra delle matrici. Rango e metodo di Gauss. Matrice inversa e algoritmo di Gauss-Jordan. Determinante, interpretazione geometrica, operazioni su righe e colonne, teorema di Binet. SISTEMI LINEARI Nozioni fondamentali. Forma matriciale di un sistema lineare. Teorema di Rouché-Capelli. Procedimenti di risoluzione di un sistema lineare. Sistemi lineari omogenei.

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

Logica e Algebra A-F

Corso di laurea: Ingegneria Informatica · Laurea triennale · 2º anno · 1º semestre · 10 CFU / esame facoltativo · Informatica · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 10 CFU · apri nel catalogo · Ingegneria Informatica · 2º anno · 1º semestre · canale A-F ›

Frigeri – Logica e algebra, esercizi svolti e richiami…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Mendelson – Introduzione alla logica matematicaCerca su Amazon ›Da studiare: Capitoli 1 e 2Verificato sulla scheda ufficiale il 03/10/2026
Aiello – Logica, linguaggiCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Facchini – Algebra e matematica discretaCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Asperti – Logica a informaticaCerca su Amazon ›Da studiare: Capitolo 6Verificato sulla scheda ufficiale il 03/10/2026
Mandrioli – Mathematical logic for computer science, an introductionCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Curzio – Lezioni di algebraCerca su Amazon ›Da studiare: Capitolo 11, paragrafi 1,2,3,8,9Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense sui contenuti del corso Note: Esercizi e temi d'esame svolti sono a disposizione su WeBeep
  • Open logic text, Open source Note: (Testo molto ampio per la parte di logica)

Argomenti del programma: RELAZIONI ED APPLICAZIONI 1.1 Relazioni, con particolare riguardo alle relazioni binarie su un insieme. Prodotto di relazioni. Proprietà delle relazioni binarie: serialità, riflessività, simmetria, transitività, antisimmetria. Chiusure di una relazione rispetto ad un insieme dato di proprietà. 1.2 Relazioni di equivalenza ed applicazioni.

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

Geometria e Algebra Lineare FOT-LAF

Corso di laurea: Ingegneria dell'Automazione · Laurea triennale · 1º anno · 1º semestre · 8 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 8 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Bacheca del docente: cosa indica di studiare

Argomenti del programma: MATRICI E VETTORI GEOMETRICI Vettori geometrici. Algebra delle matrici. Rango e metodo di Gauss. Matrice inversa e algoritmo di Gauss-Jordan. Determinante, interpretazione geometrica, operazioni su righe e colonne, teorema di Binet. SISTEMI LINEARI Nozioni fondamentali. Forma matriciale di un sistema lineare. Teorema di Rouché-Capelli. Procedimenti di risoluzione di un sistema lineare. Sistemi lineari omogenei.

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

Logica e Algebra A-E

Corso di laurea: Telecommunication Engineering · Laurea triennale · esame facoltativo · 5 CFU

Politecnico di Milano · Scuola di Ingegneria Industriale e dell'Informazione · 5 CFU · apri nel catalogo · Telecommunication Engineering · 1º semestre · canale A-E ›

Frigeri – Logica e algebra, esercizi svolti e richiami…Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi consigliati (facoltativi)

Mendelson – Introduzione alla logica matematicaCerca su Amazon ›Da studiare: Capitoli 1 e 2Verificato sulla scheda ufficiale il 03/10/2026
Aiello – Logica, linguaggiCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Facchini – Algebra e matematica discretaCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Asperti – Logica a informaticaCerca su Amazon ›Da studiare: Capitolo 6Verificato sulla scheda ufficiale il 03/10/2026
Mandrioli – Mathematical logic for computer science, an introductionCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Curzio – Lezioni di algebraCerca su Amazon ›Da studiare: Capitolo 11, paragrafi 1,2,3,8,9Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense sui contenuti del corso Note: Esercizi e temi d'esame svolti sono a disposizione su WeBeep
  • Open logic text, Open source Note: (Testo molto ampio per la parte di logica)

Argomenti del programma: RELAZIONI ED APPLICAZIONI 1.1 Relazioni, con particolare riguardo alle relazioni binarie su un insieme. Prodotto di relazioni. Proprietà delle relazioni binarie: serialità, riflessività, simmetria, transitività, antisimmetria. Chiusure di una relazione rispetto ad un insieme dato di proprietà. 1.2 Relazioni di equivalenza ed applicazioni.

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. Emanuele Rodaro per Logica e Algebra 2?

Gabelli – Teoria delle Equazioni e Teoria di Galois; Lidl – Introduction to finite fields and their applications; Orlandelli – Corso di logica modale proposizionale; Frixione – Introduzione alle logiche modali; Goldblatt – Logics of time and computation

Quali libri consiglia il prof. Emanuele Rodaro per Logica e Algebra (Ingegneria Informatica, canale A-F)?

Frigeri – Logica e algebra, esercizi svolti e richiami…; Mendelson – Introduzione alla logica matematica; Aiello – Logica, linguaggi; Facchini – Algebra e matematica discreta; Asperti – Logica a informatica; Mandrioli – Mathematical logic for computer science, an introduction; Curzio – Lezioni di algebra

Quali libri consiglia il prof. Emanuele Rodaro per Logica e Algebra (Telecommunication Engineering, canale A-E)?

Frigeri – Logica e algebra, esercizi svolti e richiami…; Mendelson – Introduzione alla logica matematica; Aiello – Logica, linguaggi; Facchini – Algebra e matematica discreta; Asperti – Logica a informatica; Mandrioli – Mathematical logic for computer science, an introduction; Curzio – Lezioni di algebra