Laboratorio di Informatica

INF/01

Il corso è un insegnamento base di informatica e consiste in uno studio dell'architettura hardware e software dei sistemi informatici e in una introduzione alla sintassi e alla semantica dei linguaggi di programmazione.

Propedeuticità: nessuna (è però consigliato avere seguito il corso di Laboratorio di Programmazione al I quadrimestre).

Programma sintetico: Architettura hardware e software dei sistemi informatici. Sintassi dei linguaggi di programmazione: grammatiche libere dal contesto, alberi di derivazione, ambiguità. Semantica dei linguaggi di programmazione: sistemi di transizione. Semantica operazionale di un sottoinsieme del linguaggio Java.

Docente: Monica Nesi.

Programma dettagliato:

Richiami su algoritmi, programmi e linguaggi di programmazione. Hardware, software di base ed applicativo, sistema operativo, ambiente di programmazione.
Codifica binaria dell'informazione: numeri naturali, numeri interi, numeri frazionari, numeri reali, caratteri, immagini. Richiami sull'algebra booleana.
Architettura di un sistema di calcolo: memoria, dispositivi di Input/Output, unità di elaborazione centrale - CPU. Linguaggio macchina e modalità di esecuzione delle istruzioni. Cenni su sistemi operativi.
Sintassi dei linguaggi di programmazione: grammatiche libere dal contesto, alberi di derivazione, ambiguità.
Semantica dei linguaggi di programmazione: sistemi di transizione.
Semantica operazionale di un sottoinsieme del linguaggio Java.

Bibliografia:

[1] S. Ceri, D. Mandrioli, L. Sbattella, Informatica arte e mestiere, Casa editrice McGraw-Hill, 1999. Capitoli 1-2-11-13 (fino Sezione 13.1 inclusa) - Sezione 14.1.

Per il linguaggio macchina e le relative istruzioni fare riferimento al Capitolo 4 (fino a Sezione 4.5 inclusa) del libro Istituzioni di Informatica, Linguaggio di riferimento Pascal di S. Ceri, D. Mandrioli, L. Sbattella, Casa editrice McGraw-Hill, 1993 oppure Informatica: istituzioni, Linguaggio di riferimento ANSI C degli stessi autori e casa editrice.

[2] C. Montangero, F. Turini, Introduzione alla Programmazione - Sintassi Semantica Metodo, Casa editrice Boringhieri, 1987, Capitolo 2.

[3] R. Barbuti, P. Mancarella, C. Montangero, Semantica Operazionale, dispensa (fino a Sezione 5.3 inclusa).

[4] A. Di Marco, P. Inverardi, B. Intrigila, F. Mancinelli, P. Pelliccione, +/- Java Semantica Operazionale, dispensa.

Modalità d'esame:

Prova finale scritta e discussione orale della prova scritta.

N.B. Gli studenti che hanno seguito il corso negli anni accademici precedenti e che non hanno ancora superato il relativo esame, possono svolgere l'esame secondo il programma del corso e le modalità di esame valide per l'A.A. 2003-2004.

Pagine WEB consigliate:

Pagina web del docente: http://www.di.univaq.it/monica/index-personal.html
Sito del Corso di Laurea di Informatica: http://informatica.di.univaq.it/

[ultimo aggiornamento: 22/11/2005]