Corso di Laurea in Matematica

Laboratorio di Informatica (a.a. 2004-05)



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.

Testo di riferimento

[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 Cap. 4 (fino alla Sez. 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.

Le dispense sono disponibili presso la copisteria interna della Facoltà.