Raccolta di appunti relativi al corso di laurea triennale in Informatica (classe L-31) presso l'Università di Pisa.
Questi appunti sono una rielaborazione personale del materiale fornito durante le lezioni. Non coprono in modo esaustivo l’intero programma ufficiale e potrebbero contenere imprecisioni o omissioni.
Nota importante: Questi appunti non hanno lo scopo di fornire una preparazione completa in ogni dettaglio. Per una preparazione più approfondita o per conseguire il massimo dei voti, si consiglia di integrare il materiale con ulteriori fonti (libri, appunti di altri studenti, materiale del corso).
Schemi concettuali che coprono l'intero programma svolto durante l’anno accademico. Il materiale include:
- Schemi Concettuali: raccolta di schemi concettuali numerati secondo l'ordine degli argomenti affrontati durante il corso, utili per la comprensione e il ripasso dei concetti chiave.
Materiale riassuntivo utile per la preparazione all’orale e, in parte, allo scritto. I contenuti includono:
- Riassunto Orale (
Riassunto Orale.pdf): sintesi del materiale relativo alle domande più frequenti agli orali. - Argomenti Svolti: appunti utili per lo scritto, contengono esclusivamente il materiale relativo al Lambda calcolo e al Controllo dei Tipi.
- Dispense: materiale fornito dal docente su OCaml e MiniCaml.
Copertura completa del programma fino agli intervalli di fiducia. Il materiale disponibile include:
- Appunti Completi (
Appunti Completi.pdf): contiene gli appunti relativi all'intero corso, con indice dei contenuti. - Formulario: raccolta di formule utili per la preparazione dello scritto.
- Esercizi: esercitazioni ed esami passati organizzati per sezione del programma.
- Argomenti Svolti: panoramica degli argomenti trattati durante l’anno, numerati in base all'ordine con cui sono stati svolti a lezione.