Informatica (Laurea in Matematica)

Informazioni

Questa pagina contiene informazioni riguardo al corso. Trovate altre informazioni su Moodle, incluso il link Zoom per partecipare alle lezioni e le lezioni precedentemente registrate.

Testi di riferimento:

Per il laboratorio su Java, potete anche fare riferimento a questo testo, ignorando le parti relative all'orientamento agli oggetti.

Letture avanzate per chi desidera approfondire:

Si ricorda che il syllabus del corso è su ESSE3.

Ricevimento

Il ricevimento viene svolto su appuntamento. Per richiederlo basta mandarmi una email.

Note

Durante il corso verrà reso disponibile il materiale mostrato a lezione. Le presentazioni sono in formato Open Document, e leggibili su tutti i principali sistemi operativi usando per esempio LibreOffice. Dove questo non sia possibile, le metto a disposizione anche in formato PDF.

Esercizi sulla parte di teoria

Le presentazioni di sopra contengono a tratti qualche esercizio sulla parte di teoria. Durante il corso verranno resi disponibili ulteriori esercizi teorici.

Contribuire al materiale

Un rappresentante degli studenti ha manifestato il desiderio di alcuni studenti di contribuire al materiale didattico. Sentitevi liberi di inviarmi correzioni, migliorie, esempi, o quant'altro vi sembra sia opportuno. Valuterò l'inclusione del vostro materiale tra quello ufficiale del corso. Chi volesse modificare le presentazioni deve installare, oltre a LibreOffice, anche LaTeX e TeXMaths. Nella configurazione di TeXMaths dovete specificare questo file come file di preambolo LaTeX.

Tutorato e esercizi proposti

Verrà attivato durante il corso il tutorato di Informatica. I tutor saranno disponibili a dialogare con gli studenti in un incontro settimanale. Agli studenti sarà quindi possibile chiarire eventuali dubbi inerenti alla parte di teoria del corso.

Dopo l'attivazione del tutorato, ogni settimana verranno proposti alcuni esercizi da svolgere a casa, in modo da poterli consegnare e verificare assieme ai tutor durante le ore di tutorato. Gli esercizi saranno disponibili su Moodle. Le soluzioni degli esercizi possono essere consegnate online, sempre su Moodle, inviando una foto leggibile del loro elaborato (con tanto di nome e matricola). La consegna degli esercizi è facoltativa ma raccomandata.

Gli studenti che consegnano le soluzioni di almeno il 58% dei fogli di esercizi proposti, entro le scadenze, e risolvendoli correttamente o almeno mostrando un serio tentativo, ricevono un punto bonus (+1/30) al voto dell'esame (se inferiore a 30/30).

Gli studenti che non possono (o non vogliono) partecipare al tutorato in presenza, ma che vogliono comunque consegnare gli esercizi, possono farlo.

Laboratorio

Durante le esercitazioni in aula PC, seguiremo questi esempi ed esercizi:

Oltre agli esercizi proposti in classe, potete trovare un elenco di esercizi aggiuntivi su Project Euler.

Per il ricevimento su argomenti di laboratorio potere chiedere un appuntamento, oltre a me, anche all'esercitatore Michele Romani.

Potete anche accedere anche al materiale fornito negli anni precedenti (sito del laboratorio AA 2017/18 - sito del laboratorio AA 2016/17 - sito AA 2015/16 - sito AA 2014/15 - sito AA 2013/14).

Per chi desidera approfindire, mettiamo a disposizione anche alcuni esempi aggiuntivi di programmi Java che illustrano alcuni costrutti del linguaggio.

Esami

La prova d'esame è composta da due parti: una parte pratica e una parte teorica, svolte lo stesso giorno.

La parte pratica dura 1 ora e consiste in esercizi di programmazione in Java al computer. Viene valutata fino a 10 punti. Una valutazione minore di 5 punti per la parte pratica comporta il non superamento dell'intera prova d'esame per l'appello corrente.

La parte teorica dura 2 ore e consiste in esercizi teorici su carta. Viene valutata fino a 20 punti. Una valutazione minore di 10 punti per la parte pratica comporta il non superamento dell'intera prova d'esame per l'appello corrente. Allo studente può venire chiesto di fornire alcune definizioni, enunciati o dimostrazioni affrontati durante il corso. Inoltre, gli esercizi d'esame possono richiedere, per esempio, di dimostrare una proprietà data usando qualche teorema visto nel corso, o di giustificare formalmente la correttezza di un piccolo programma.

La prova d'esame viene quindi superata se si raggiungono almeno 18 punti nelle due parti.

Si rimanda al syllabus del corso per ulteriori informazioni.

La prova d'esame viene svolta a libro chiuso.

Se sono stati svolti gli esercizi proposti per il tutorato durante il corso, come descritto sopra, il voto viene aumentato di un punto (+1/30) se inferiore a 30/30. Anche senza questo punto bonus, è comunque possibile raggiungere qualunque punteggio, inclusa la lode.

I voti della prova d'esame vengono comunicati dal sistema ESSE3. È possibile "rifiutare" il voto su ESSE3, e in quel caso il voto viene annullato definitivamente, senza possibilità di recupero in un appello. A tutti gli effetti, l'intera prova si considera non superata (e non verbalizzata) -- quindi lo studente dovrà ripetere la prova in un appello successivo.

Il non superamento di una prova d'esame non invalida l'eventuale punto bonus relativo agli esercizi proposti, che continuerà ad applicarsi a tutte le prove successive fino al quinto appello incluso.

La partecipazione a una prova d'esame comporta il rifiuto di un eventuale voto su ESSE3 dei voti negli appelli precedenti, anche nel caso non si consegnino le proprie risposte. In questo caso, è compito dello studente rifiutare il voto precedente su ESSE3 prima di presentarsi all'esame.

Gli studenti che hanno superato l'esame con 30 e che ambiscono alla lode possono richiedere un orale integrativo. Tale orale contiene domande e/o esercizi volutamente impegnativi, visto il suo obiettivo -- la lode è intenzionalmente ardua da ottenere. L'orale può anche alterare il voto negativamente se rivela lacune significative, anche se il non raggiungimento della lode non comporta necessariamente l'abbassamento del voto (caveat discipulus!). Non vengono svolti esami orali in altri casi.

Vi ricordo di iscrivervi su ESSE3 per i vari appelli. In caso di problemi su ESSE3 mandatemi una mail per iscrivervi.

Non verranno fatti appelli straordinari "su richiesta".

Esami passati

Si fa notare che prima dell'anno accademico 2026/27, le prove scritte sotto duravano 2 ore e mezza. A partire dall'anno accademico 2026/27 la prova teorica viene ridotta a due ore, e il numero di esercizi viene coerentemente diminuito.

Curiosità: formalizzazioni

Questi file contengono delle formalizzazioni di alcune delle parti di teoria viste durante il corso. Sono da considerarsi materiale avanzato, assolutamente non necessario ai fini dell'esame. In questo corso vengono solo proposte come curiosità.

Chi vuole sperimentare con esse può farlo usando il proof assistant Coq, che si lancia col comando coqide.

Home - Teaching

Valid CSS Valid XHTML 1.1 Roberto Zunino, 2025