- Documentologica-prop informatica e computazionecaricato daMario Mari
- Documentogrammatiche-linguaggi - informatica e computazionecaricato daMario Mari
- Documentoinduzione - informatica e computazionecaricato daMario Mari
- Documentodeduzione - informatica e computazionecaricato daMario Mari
- Documentoautomi - informatica e computazionecaricato daMario Mari