Introduction to Computing - Teoria (2005/2006)

Course Not running, not visible

Course code
4S00007
Name of lecturer
Vincenzo Manca
Number of ECTS credits allocated
2
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Location
VERONA
Period
Zero period: only for the first year of the course dal Sep 19, 2005 al Oct 10, 2005.

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

Zero period: only for the first year of the course
Day Time Type Place Note
Tuesday 9:30 AM - 11:30 AM lesson Lecture Hall Gino Tessari  
Wednesday 11:30 AM - 1:30 PM lesson Lecture Hall Gino Tessari  
Thursday 9:30 AM - 11:30 AM lesson Lecture Hall Gino Tessari  

Learning outcomes

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.

Syllabus

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.

Assessment methods and criteria

Esame scritto.

Studying