Fondamenti di Informatica per la sicurezza

a.a. 2004/05




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.

Calendario degli appelli d'esame

02.11.2004 primo compitino
25.01.2005 secondo compitino
23.02.2005 primo appello / recupero compitini
21.04.2005 secondo appello / recupero compitini
23.06.2005 terzo appello / recupero compitini
20.07.2005 quarto appello / recupero compitini
09.09.2005 quinto appello / recupero compitini
09.11.2005 sesto appello / recupero compitini



Materiale didattico

Note

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

Lucidi

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

Raccolta, in un unico file compresso (zip), delle dispense della prima parte (fino alla teoria dell'informazione).

Raccolta, in un unico file compresso (zip), delle dispense della seconda parte (dall'architettura di von Neumann).

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) Esempio di compitino della prima parte del programma (NB: esempio)
(pdf) (pdf) Esempio di compitino della seconda parte del programma (NB: esempio)



Prove d'esame

solo testo testo e soluzioni

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

26.11.2004
primo compitino
(curriculum online)
(pdf) (pdf) Versione A
(pdf) (pdf) Versione B
(pdf) (pdf) Versione C

14.01.2005
secondo compitino
(curriculum online)
(pdf) (pdf) Versione A
(pdf) (pdf) Versione B
(pdf) (pdf) Versione C
(pdf) (pdf) Versione D

22.01.2005
recupero
(curriculum online)
(pdf) (pdf) Prima parte
(pdf) (pdf) Seconda parte

25.01.2005
secondo compitino
(pdf) (pdf) Versione A
(pdf) (pdf) Versione B
(pdf) (pdf) Versione C
(pdf) (pdf) Versione D
recupero (pdf) (pdf) Prima parte

05.02.2005
primo appello
(curriculum online)
(pdf) (pdf) Prima parte
(pdf) (pdf) Seconda parte

23.02.2005
primo appello
(pdf) (pdf) Prima parte
(pdf) (pdf) Seconda parte

21.04.2005
secondo appello
(pdf) (pdf) Prima parte
(pdf) (pdf) Seconda parte

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

09.11.2005
sesto appello
(pdf) (pdf) Prima parte
(pdf) Seconda parte



Esiti

02.11.2004 (html) Primo compitino
26.11.2004 (html) Primo compitino (curriculum Online)
14.01.2005 (html) Secondo compitino (curriculum Online)
22.01.2005 (html) Recupero (curriculum Online)
25.01.2005 (html) Secondo compitino e recupero del primo compitino
05.02.2005 (html) Primo appello (curriculum Online)
23.02.2005 (html) Primo appello
21.04.2005 (html) Secondo appello
23.06.2005 (html) Terzo appello
20.07.2005 (html) Quarto appello
09.09.2005 (html) Quinto appello
09.11.2005 (html) Sesto appello



Link utili


Home page     Didattica