Marco Benini

Teaching

Receiving students

Il ricevimento studenti avviene per appuntamento: inviare una mail all’indirizzo marco.benini@uninsubria.it specificando il nome, cognome, numero di matricola, il corso di laurea e una descrizione del quesito.
The students are received on appointment: send an email to marco.benini@uninsubria.it with your name, surname, register number, course and a description of your question.

Courses

  1. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2025/26, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  2. History of Mathematics, Corso di Laurea Magistrale in Matematica, aa 2025/26, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  3. Logica e Argomentazione, Corso di Laurea in Scienze della Mediazione Interlinguistica e Interculturale, aa 2025/26, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  4. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2024/25, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  5. Fondamenti della Matematica, Percorso universitario di formazione iniziale e abilitazione all’insegnamento A026 – Matematica, 2025, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  6. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2023/24, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  7. Logic, Corso di Laurea in Informatica, Como, aa 2023/24, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  8. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2022/23, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  9. Logic, Corso di Laurea in Informatica, Como, aa 2022/23, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  10. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2021/22, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  11. Logic, Corso di Laurea in Informatica, Como, aa 2021/22, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  12. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2020/21, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  13. Logic, Corso di Laurea in Informatica, Como, aa 2020/21, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  14. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2019/20, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  15. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2018/19, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  16. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2017/18, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  17. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2016/17, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, and Master Degree in Mathematics, Linnaeus University (SE)
  18. Mathematical Logic, Corso di Laurea Magistrale in Matematica, aa 2015/16, Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria
  19. Analisi Matematica – Esercitazioni, Corso di Laurea in Informatica, aa 2014/15, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  20. L’occhio del biologo: acquisizione di immagini nel laboratorio biologico (slides), Alta Formazione Insubria, 26 febbraio 2015, Università degli Studi dell’Insubria
  21. An Introduction to Category Theory, Corso di Dottorato di Ricerca in Informatica e Matematica del Calcolo, aa 2013/14, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  22. Tecniche di Programmazione Funzionale, Corso di Laurea Magistrale in Informatica, aa 2013/14, Dipartimento di Scienze Teoriche e Applicate, Università degli Studi dell’Insubria
  23. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2009/10, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  24. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2008/09, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  25. Gestione delle Reti, Corso di Laurea in Informatica, aa 2007/08, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  26. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2007/08, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  27. Gestione delle Reti, Corso di Laurea in Informatica, aa 2006/07, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  28. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2006/07, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  29. Applications of Constructive Logics in Analysis, Verification, and Synthesis of Programs, PhD programme, aa 2006/07, Mathematisches Institut, Fakultät für Mathematik, Informatik und Statistik, Ludwig Maximillians Universität – Muenchen (DE)
  30. Gestione delle Reti, Corso di Laurea in Informatica, aa 2005/06, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  31. Reti di Telecomunicazione, Corso di Laurea Triennale in Informatica, aa 2005/06, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  32. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  33. Gestione delle Reti, Corso di Laurea in Informatica, aa 2004/05, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  34. Sicurezza Perimetrale, Master di Sicurezza delle Reti, aa 2004/05
  35. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  36. Informatica Teorica, Corso di Laurea Specialistica in Informatica, aa 2003/04, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  37. Applicazioni Web-based, Master in Web & Business, aa 2003/04, Facoltà di Economia, Università degli Studi dell’Insubria
  38. Fondamenti di Informatica, Laurea in Informatica, aa 2002/03, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  39. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Laurea in Informatica, aa 2002/03, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  40. Laboratorio di Sistemi Operativi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  41. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2001/02, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  42. Applicazioni Web-based, Master in Web & Business, aa 2001/02, Facoltà di Economia, Università degli Studi dell’Insubria
  43. Laboratorio di Reti di Telecomunicazione, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  44. Laboratorio di Linguaggi, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  45. Logica Computazionale, Laurea in Informatica, aa 2001/02, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  46. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  47. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 2000/01, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  48. Reti di Telecomunicazione, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  49. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Diploma in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  50. Logiche Costruttive, Dottorato di Ricerca in Informatica, aa 2000/01, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  51. Laboratorio di Informatica Generale – Esercitazioni, Laurea in Scienze e Tecnologie per l’Ambiente, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano – Bicocca
  52. Laboratorio di Sistemi Operativi, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  53. Sistemi Operativi, Master in Informatica e Comunicazione per le Scienze Umanistiche, aa 1999/00, Facoltà di Lettere e Filosofia, Università degli Studi di Milano
  54. Laboratorio di Architettura dei Calcolatori – Esercitazioni, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali – Varese, Università degli Studi dell’Insubria
  55. Logica II – Esercitazioni, Diploma in Informatica, aa 1999/00, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  56. Laboratorio di Informatica Generale – Esercitazioni, Laurea in Scienze e Tecnologie per l’Ambiente, aa 1998/99, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano – Bicocca
  57. Programmazione II – Esercitazioni, Diploma in Informatica, aa 1998/99, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano
  58. Introduzione al Prolog, Laurea in Scienze dell’Informazione, aa 1994/95, Facoltà di Scienze Matematiche, Fisiche e Naturali, Università degli Studi di Milano

Website Powered by WordPress.com.