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 risulterà 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 (almeno) verranno strutturati in due prove, ognuna delle quali funzionerà da recupero di uno dei due compitini. È possibile iscriversi all'appello e poi prendere parte a una sola delle due prove.
Ciascun compitino assegna un voto da 0 a 32. Per superare con successo un compitino è sufficiente raggiungere il 18. Un voto superiore a 30 viene considerato "30 e lode". Per avere la lode nel voto finale, bisogna ottenerla in entrambi i compitini.
Durante le prove non è ammesso l'uso di libri, appunti e altri supporti (neanche la calcolatrice).
Durante il primo compitino verrà fornito un elenco delle tautologie viste a lezione.
Calendario degli appelli d'esame
| 31.10.2006 | primo compitino |
| 12.01.2007 | secondo compitino |
| 06.02.2007 | primo appello / recupero compitini |
| 04.04.2007 | secondo appello / recupero compitini |
| 05.06.2007 | terzo appello / recupero compitini |
| 03.07.2007 | quarto appello / recupero compitini |
| 04.09.2007 | quinto appello / recupero compitini |
| 05.11.2007 | sesto appello / recupero compitini |
Nota: La presenza di "??" al posto del giorno dell'appello significa che le date di tali appelli non sono ancora state fissate. Il mese indicato è probabile che sia quello in cui si terrà l'appello, ma anch'esso può essere soggetto a cambiamenti.
Un riassunto dei concetti di matematica di cui si fa uso nel corso:
| pagina doppia | argomento |
|---|---|
| (pdf) | Introduzione al corso (25/09/06) |
| (pdf) | Panoramica sull'informatica (25/09/06) |
| (pdf) | Breve storia dell'Informatica (25/09/06) |
| (pdf) | Breve storia dell'Informatica (26/09/06) |
| (pdf) | Classi di calcolatori (02/10/06) |
| (pdf) | Rappresentazione dei numeri (02/10/06) |
| (pdf) | Bit & byte (03/10/06) |
| (pdf) | Codifica binaria di numeri (03-10/10/06) |
| (pdf) | Codifica binaria di grandezze non numeriche (10/10/06) |
| (pdf) | Esercizi sulla codifica binaria (16/10/06) |
| (pdf) | Calcolo combinatorio (16/10/06) |
| (pdf) | Algebre di Boole (17/10/06) |
| (pdf) | Logica proposizionale (17-23/10/06) |
| (pdf) | Esercizi sulla logica proposizionale (24/10/06) |
| (pdf) | Approfondimento sulla logica proposizionale (06/11/06) |
| (pdf) | Reti logiche (06/11/06) |
| (pdf) | Logica dei predicati (06-07/11/06) |
| (pdf) | Teoria dell'Informazione (07/11/06) |
| (pdf) | Architettura di von Neumann (13/11/06) |
| (pdf) | Elementi di programmazione (14/11/06) |
| (pdf) | Sistemi operativi (20-21/11/06) |
| (pdf) | Teoria della computazione (27/11/06) |
| (pdf) | Grammatiche (28/11-4/12/06) |
| (pdf) | Automi (5-11/12/06) |
| (pdf) | Espressioni regolari (12-18/12/06) |
| (pdf) | Teoria della complessità (19/12/06) |
| esercizi e soluzioni | solo esercizi | solo soluzioni | argomento |
|---|---|---|---|
| (pdf) | (pdf) | (pdf) | Conversione di base |
| (pdf) | (pdf) | (pdf) | Notazione in complemento a 2 |
| (pdf) | Numero di bit | ||
| (pdf) | Inferenze | ||
| (pdf) | Inferenze a 2 termini | ||
| (pdf) | Inferenze a 2 termini (versione estesa, 334 KiB) | ||
| (pdf) | Inferenze a 3 termini | ||
| (pdf.zip) | Inferenze a 3 termini (versione estesa, 2.64 MiB) | ||
| (pdf) | Esempio di compitino della prima parte del programma (NB: esempio) | ||
| (pdf) | (pdf) | Esempio di compitino della seconda parte del programma (NB: esempio) |
Altri esercizi sono presenti nelle prove d'esame degli anni precedenti.
| solo testo | testo e soluzioni | ||
|---|---|---|---|
| 31.10.2006 primo compitino |
(pdf) | (pdf) | Versione A |
| (pdf) | (pdf) | Versione B | |
| (pdf) | (pdf) | Versione C | |
| (pdf) | (pdf) | Versione D | |
| 01.12.2006 primo compitino (curriculum online) |
(pdf) | (pdf) | Versione A |
| (pdf) | (pdf) | Versione B | |
| (pdf) | (pdf) | Versione C | |
| (pdf) | (pdf) | Versione D | |
| 12.01.2007 secondo compitino | (pdf) | (pdf) | Versione A |
| (pdf) | (pdf) | Versione B | |
| (pdf) | (pdf) | Versione C | |
| (pdf) | (pdf) | Versione D | |
| 31.10.2006 | (html) | Primo compitino |
| 01.12.2006 | (html) | Primo compitino (curriculum Online) |
| 12.01.2007 | (html) | Secondo compitino |
| 19.01.2007 | (html) | Secondo compitino (curriculum Online) |
| 02.02.2007 | (html) | Primo appello (curriculum Online) |
| 06.02.2007 | (html) | Primo appello |
| 24.03.2007 | (html) | Secondo appello (curriculum Online) |
| 04.04.2007 | (html) | Secondo appello |
| 05.06.2007 | (html) | Terzo appello |
| 03.07.2007 | (html) | Quarto appello |
| 04.09.2007 | (html) | Quinto appello |
| 05.11.2007 | (html) | Sesto appello |