Per facilitare il superamento della prova scritta e per promuovere la frequenza delle lezioni, la prova scritta può essere sostituita da due prove in itinere, dette compitini, che si terranno in novembre (sulla prima parte del programma) e in gennaio (sulla seconda parte del programma).
Nel caso la prova d'esame venga effettuata attraverso i compitini, per superare l'esame, è necessario ottenere la sufficienza in entrambi i compitini, ed il voto finale risuterà dalla media dei voti dei compitini.
Per rendere possibile il recupero di un'insufficienza in uno dei due compitini, gli appelli di febbraio e di aprile verranno strutturati in due prove, ognuna delle quali funzionerà da recupero di uno dei due compitini.
| 03.11.2003 | primo compitino |
| 13.01.2004 | secondo compitino |
| 03.02.2004 | primo appello / recupero compitini |
| 02.04.2004 | secondo appello / recupero compitini |
| 04.06.2004 | terzo appello / recupero compitini |
| 08.07.2004 | quarto appello / recupero compitini |
| 15.09.2004 | quinto appello / recupero compitini |
| 02.11.2004 | sesto appello / recupero compitini |
| pagina singola | pagina doppia | argomento |
|---|---|---|
| (pdf) | (pdf) | Introduzione al corso |
| (pdf) | (pdf) | Lezione 1 (22/09/03): Cosa è l'Informatica; Breve storia dell'Informatica |
| (pdf) | (pdf) | Lezione 2 (23/09/03): Breve storia dell'Informatica |
| (pdf) | (pdf) | Lezione 3 (29/09/03): Classi di calcolatori |
| (pdf) | (pdf) | Lezione 4 (30/09/03): Calcolo binario |
| (pdf) | (pdf) | Lezione 5 (06/10/03): Esercizi sulla rappresentazione binaria |
| (pdf) | (pdf) | Lezione 6 (07/10/03): Principi matematici dell'Informatica - Insiemistica |
| (pdf) | (pdf) | Lezione 6 (07/10/03): Principi matematici dell'Informatica - Algebra di Boole |
| (pdf) | (pdf) | Lezione 7 (13/10/03): Logica proposizionale |
| (pdf) | (pdf) | Lezione 8 (14/10/03): Esercizi sulla Logica proposizionale |
| (pdf) | (pdf) | Lezione 13 (10/11/03): Reti logiche |
| (pdf) | (pdf) | Lezione 14 (11/11/03): Architettura di von Neumann |
| (pdf) | (pdf) | Lezione 17 (24/11/03): Principi di programmazione |
| (pdf) | (pdf) | Lezione 18 (25/11/03): Cenni di sistemi operativi |
| (pdf) | (pdf) | Lezione 20 (02/12/03): Teoria della computazione - Grammatiche |
| (pdf) | (pdf) | Lezione 21 (09/12/03): Linguaggi formali |
| (pdf) | (pdf) | Lezione 22 (15/12/03): Automi |
| (pdf) | (pdf) | Lezione 23 (16/12/03): Espressioni regolari |
Note
| file | argomento |
|---|---|
| (pdf) | Esercizi (e soluzioni) in preparazione al primo compitino |
| (pdf) | Esercizi (e soluzioni) sulle inferenze |
| (pdf) | Esercizi (senza soluzioni) sulle inferenze |
| (pdf) | raccolta di tautologie da usare nelle dimostrazioni |
| (pdf) | esempio di compitino della prima parte del programma (NB: esempio) |
| (pdf) | soluzione dell'esempio di compitino della prima parte del programma (NB: soluzione esempio) |
| (pdf) | Esercizi (e soluzioni) in preparazione al secondo compitino |
| (pdf) | esempio di compitino della seconda parte del programma (NB: esempio) |
| (pdf) | soluzione dell'esempio di compitino della seconda parte del programma (NB: soluzione esempio) |
| file | descrizione |
|---|---|
| (pdf) | Versione A del primo compitino |
| (pdf) | Soluzione della versione A del primo compitino |
| (pdf) | Versione B del primo compitino |
| (pdf) | Soluzione della versione B del primo compitino |
| (pdf) | Versione C del primo compitino |
| (pdf) | Soluzione della versione C del primo compitino |
| (pdf) | Versione D del primo compitino |
| (pdf) | Soluzione della versione D del primo compitino |
| (html) | Esiti del primo compitino |
| (pdf) | Versione A del secondo compitino |
| (pdf) | Soluzione della versione A del secondo compitino |
| (pdf) | Versione B del secondo compitino |
| (pdf) | Soluzione della versione B del secondo compitino |
| (pdf) | Versione C del secondo compitino |
| (pdf) | Soluzione della versione C del secondo compitino |
| (pdf) | Versione D del secondo compitino |
| (pdf) | Soluzione della versione D del secondo compitino |
| (html) | Esiti del secondo compitino |
| (pdf) | Versione A della prima parte dell'appello del 03.02.2004 |
| (pdf) | Soluzione della versione A della prima parte dell'appello del 03.02.2004 |
| (pdf) | Versione B della prima parte dell'appello del 03.02.2004 |
| (pdf) | Soluzione della versione B della prima parte dell'appello del 03.02.2004 |
| (pdf) | Versione A della seconda parte dell'appello del 03.02.2004 |
| (pdf) | Soluzione della versione A della seconda parte dell'appello del 03.02.2004 |
| (html) | Esiti dell'appello del 03.02.2004 |
| (pdf) | Versione A della prima parte dell'appello del 02.04.2004 |
| (pdf) | Soluzione della versione A della prima parte dell'appello del 02.04.2004 |
| (pdf) | Versione A della seconda parte dell'appello del 02.04.2004 |
| (pdf) | Soluzione della versione A della seconda parte dell'appello del 02.04.2004 |
| (html) | Esiti dell'appello del 02.04.2004 |
| (pdf) | Versione A della prima parte dell'appello del 04.06.2004 |
| (pdf) | Soluzione della versione A della prima parte dell'appello del 04.06.2004 |
| (pdf) | Versione A della seconda parte dell'appello del 04.06.2004 |
| (pdf) | Soluzione della versione A della seconda parte dell'appello del 04.06.2004 |
| (html) | Esiti dell'appello del 04.06.2004 |
| (pdf) | Versione A della prima parte dell'appello del 08.07.2004 |
| (pdf) | Soluzione della versione A della prima parte dell'appello del 08.07.2004 |
| (pdf) | Versione A della seconda parte dell'appello del 08.07.2004 |
| (pdf) | Soluzione della versione A della seconda parte dell'appello del 08.07.2004 |
| (html) | Esiti dell'appello del 08.07.2004 |
| (pdf) | Versione A della prima parte dell'appello del 15.09.2004 |
| (pdf) | Soluzione della versione A della prima parte dell'appello del 15.09.2004 |
| (pdf) | Versione A della seconda parte dell'appello del 15.09.2004 |
| (pdf) | Soluzione della versione A della seconda parte dell'appello del 15.09.2004 |
| (html) | Esiti dell'appello del 15.09.2004 |
| (html) | Esiti dell'appello del 02.11.2004 |