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à.