Fondamenti di Informatica per la sicurezza

a.a. 2007/08




Informazioni riguardanti l'insegnamento

Modalità d'esame

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.

Nota: Alle prove d'esame bisogna presentarsi con il libretto o il tesserino. L'unico materiale necessario è una biro (e magari una di scorta) di un colore diverso dal rosso, possibilmente ben contrastante con il bianco (una blu o nera andrà benissimo, magari con una di scorta). I fogli per la prova (anche quelli di brutta) verranno forniti all'inizio della prova (non verrà invece fornita una biro, che deve essere portata, possibilmente insieme ad una da tenere di scorta).

Calendario degli appelli d'esame

05.11.2007 primo compitino
28.01.2008 secondo compitino
13.02.2008 primo appello / recupero compitini
08.04.2008 secondo appello / recupero compitini
24.06.2008 terzo appello / recupero compitini
22.07.2008 quarto appello / recupero compitini
03.09.2008 quinto appello / recupero compitini
??.11.2008 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.



Materiale didattico

Note

Un riassunto dei concetti di matematica di cui si fa uso nel corso:

Lucidi

pagina doppia argomento
(pdf) Introduzione al corso (17/09/07)
(pdf) Panoramica sull'informatica (17/09/07)
(pdf) Breve storia dell'Informatica (18/09/07)
(pdf) Breve storia dell'Informatica (18/09/07)
(pdf) Classi di calcolatori (24/10/07)
(pdf) Rappresentazione dei numeri (24/10/07)
(pdf) Bit & byte (01/10/07)
(pdf) Codifica binaria di numeri (01-02/10/07)
(pdf) Codifica binaria di grandezze non numeriche (02/10/07)
(pdf) Calcolo combinatorio (08/10/07)
(pdf) Esercizi sulla codifica binaria (09/10/07)
(pdf) Teoria dell'Informazione (09/10/07)
Esercitazioni (15/10/07)
(pdf) Algebre di Boole (22/10/07)
(pdf) Logica proposizionale (22-23/10/07)
(pdf) Esercizi sulla logica proposizionale (29-30/10/07)
(pdf) Approfondimento sulla logica proposizionale (12/11/07)
(pdf) Reti logiche (12/11/07)
(pdf) Logica dei predicati (12/11/07)
(pdf) Architettura di von Neumann (13/11/07)
(pdf) Elementi di programmazione (19/11/07)
(pdf) Sistemi operativi (19-20/11/07)
(pdf) Teoria della computazione (26/11/07)
(pdf) Grammatiche (27/11-03/12/07)
(pdf) Automi (04-10/12/07)
(pdf) Espressioni regolari (11-17/12/07)
(pdf) Teoria della complessità (18/12/07)

Raccolta, in un unico file compresso (zip), delle dispense della prima parte (fino alla lezione sulla logica dei predicati).

Raccolta, in un unico file compresso (zip), delle dispense della seconda parte (fino alla lezione sulla teoria della complessità).

Esercizi

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.



Prove d'esame

solo testo testo e soluzioni

05.11.2007
primo compitino
(pdf) (pdf) Versione A
(pdf) (pdf) Versione B
(pdf) (pdf) Versione C
(pdf) (pdf) Versione D

01.12.2007
primo compitino
(curriculum online)
(pdf) (pdf) Versione A
(pdf) (pdf) Versione B
(pdf) (pdf) Versione C
(pdf) (pdf) Versione D

19.01.2008
secondo compitino
(curriculum online)
(pdf) (pdf) Versione A

13.02.2008
primo appello
(pdf) (pdf) Prima parte - Versione A
(pdf) (pdf) Prima parte - Versione B
(pdf) (pdf) Seconda parte

24.06.2008
terzo appello
(pdf) (pdf) Prima parte
(pdf) (pdf) Seconda parte

solo testo testo e soluzioni



Esiti

05.11.2007 (html) Primo compitino
01.12.2007 (html) Primo compitino (curriculum Online)
19.01.2008 (html) Secondo compitino (curriculum Online)
28.01.2008 (html) Secondo compitino
01.02.2008 (html) Primo appello (curriculum Online)
13.02.2008 (html) Primo appello
29.03.2008 (html) Secondo appello (curriculum Online)
08.04.2008 (html) Secondo appello
24.06.2008 (html) Terzo appello
22.07.2008 (html) Quarto appello
03.09.2008 (html) Quinto appello



Link utili


Home page     Didattica