Appunti e riassunti per i corsi della Laurea in Informatica e della Laurea Magistrale in Ingegneria e scienze informatiche dell'Università di Verona.
I anno (A.A. 2017-2018):
- Appunti per i corsi di Algebra Lineare, Architettura degli Elaboratori, Probabilità e Statistica e Programmazione 1
- Elaborati per il corso di Architettura degli Elaboratori su SIS (primo semestre) e Assembly (secondo semestre)
II anno (A.A. 2018-2019):
- Appunti per i corsi di Algoritmi (esempi di domande a crocette), Sistemi (guida agli esercizi), Ingegneria del Software e Programmazione 2
- Riassunti dei corsi di Reti di Calcolatori e Sistemi Operativi
- Elaborati per i corsi di Ingegneria del Software e Sistemi Operativi
III anno (A.A. 2019-2020):
- Appunti per i corsi di Elaborazione di Immagini, Fondamenti (guida agli esercizi), Laboratorio di Basi di Dati (trascrizione delle slide), Programmazione Matlab e Programmazione Python
- Riassunti dei corsi di Basi di Dati, Linguaggi e Programmazione e Sicurezza delle Reti
- Elaborato per il corso di Linguaggi su ANTLR
Magistrale (A.A. 2020-2021 e A.A. 2021-2022):
- Appunti per i corsi di Fondamenti di linguaggi di programmazione e specifica (seconda parte), Ragionamento Automatico (sistemi software per la dimostrazione assistita) e Quantum Computing (guida agli esercizi e relazione del progetto).
- Riassunti dei corsi di Fondamenti di analisi e verifica del software, Fondamenti di intelligenza artificiale (include progetto per il corso) e Fondamenti di machine learning
- Progetti per i corsi di Big Data (su Spark), Ragionamento Automatico, Fondamenti di machine learning, Applicazioni dinamiche per il web (include appunti per il corso), Data Mining e Rappresentazione della conoscenza (sul Non-Monotonic Reasoning).