Informatica di base - Teoria (2005/2006)

Obiettivi formativi

Il corso intende fornire i concetti di base dell'informatica insieme alla loro terminologia e notazione di base. Il corso e' strettamente coordinato con il laboratorio relativo che introduce all'uso di un sistema di calcolo e alle principali funzionalita' di rete.

1. Operazioni e Algoritmi Classi, Sequenze, Relazioni, Operazioni, Funzioni, Predicati. Diagrammi operatori. Calcoli e Algoritmi. 2. Espressioni e Comandi Espressioni operatorie e calcoli di valutazione. Espressioni condizionali, lambda-espressioni. Comandi e costrutti di controllo. 3. Istruzioni e Programmi Spazi di dati. Calcolo simbolico e calcolo imperativo. Programmi, Macchine e Automi. Programmi a registri. Linguaggi procedurali ad alto livello. 4.Circuiti e Macchine Funzioni booleane e circuiti combinatori. Circuiti sequenziali. Circuiti di trasferimento e sincronizzazione. Struttura di una macchina von Neumann e ciclo di esecuzione. 5. Dati e Tipi. Grafi e alberi. Stringhe, Vettori e Liste. Memorie indirizzabili e memorie sequenziali. File. Record e Puntatori. 6. Simboli e Codici Caratteristiche dell'informazione digitale. Misure informative. Codici e alberi di codifica. Codice ASCII e UNICODE. Codici istantanei. Algoritmo di Huffman. Entropia informativa. 7. Automi e Linguaggi. Automi a stati finiti. Espressioni regolari. Calcolabilita', semidecidibilita' e decidibilita'. Macchine di Turing, tesi di Church e indecidibilita'. Complessita' di calcolo. 8. Sistemi operativi Livelli di programmazione. Funzioni e struttura di un sistema operativo. Nucleo di sistema. Struttura di un file system. Linguaggi di comandi. Applicazioni di base. Interfacce grafiche. 9. Reti e Servizi Livelli di rete. Risorse e Indirizzi. Servizi e Protocolli. Modello Client-server (HTTP, SMTP). Testi, Formati, Ipertesti. Modalita' di accesso e di uso dei servizi. Sistemi di autenticazione e di protezione.

Esame scritto.