Dettagli sull'Insegnamento per l'A.A. 2010/2011
Nome:
Fondamenti di Programmazione / Foundations of Programming
Informazioni
Lingua:
Italiano
Sillabo
- Sintassi dei Linguaggi di Programmazione: Grammatiche Libere dal Contesto, Alberi di Derivazione, ambiguita'
- Semantica dei Linguaggi di Programmazione: Sistemi di Transizione
- Semantica Operazionale di +
- Espressioni, Comandi, Libreria di Classi
Testi di riferimento
- R. Barbuti, P. Mancarella, D. Pedreschi, F. Turini, Elementi di Sintassi dei Linguaggi di Programmazione , Corso di Laurea in Informatica Università di Pisa a.a. 2004/05. Il materiale e' reperibile nelle copisterie circostanti la facoltà e on-line nel sito ufficiale dell'Università di Pisa
- R. Barbuti, P. Mancarella e C. Montangero, Semantica Operazionale Il materiale e' reperibile nelle copisterie circostanti la facoltà e on-line nel sito ufficiale dell'Università di Pisa
- M. Autili, P. Inverardi, Semantica Operazionale di +/- Java - 03 Dicembre 2010 La nuova versione della dispensa sulla Semantica Operazionale di +/-Java - 03 Dicembre 2010 rivisita la versione del 10 Gennaio 2010. La nuova versione dovra' essere considerata come la versione ufficiale dell'A.A. 2010-11. http://informatica.di.univaq.it/getres.php?resid=1053
- M. Autili, P. Inverardi, Semantica Operazionale di +/- Java - 10 Gennaio 2010 La versione del 03 Dicembre 2010 dovra' essere considerata come la versione ufficiale dell'A.A. 2010-11. Gli studenti degli anni precedenti possono comunque utilizzare la versione del 10 Gennaio 2010. http://informatica.di.univaq.it/getres.php?resid=903
Modalità d'esame
Chi ha acquisito la frequenza negli anni precedenti al 2007/08 dovrà sostenere l'esame del corso di Fondamenti di Programmazione. Gli studenti immatricolati nell'A.A. 2007/08 dovranno sostenere l'esame unico di Fondamenti di Programmazione con Laboratorio.
Aggiornamenti alla pagina del corso
Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:
Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.
Ultimo aggiornamento delle informazioni sul corso: 01 aprile 2011, 16:06