2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Programmazione I e Laboratorio
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Laurea in Informatica |
|---|---|---|---|
| CFU | 12 | Università | PISA |
| Ore di didattica frontale per CFU | 8 | Settore Scientifico Disciplinare | INF/01 |
| Commento | Insegnamento Fondamentale: I anno | ||
12 cfu così ripartiti nelle aree:
- 4 CFU nell'area A - Fondamenti
- 8 CFU nell'area C - Programmazione
Sillabo dell'insegnamento
- A - Fondamenti
- *
ALF - Automi e Linguaggi Formali
Introduzione agli Automi a Stati Finiti - *
ALF - Automi e Linguaggi Formali
Grammatiche e proprietà di base -
SLP - Semantica dei Linguaggi di Programmazione
La Semantica Denotazionale dei Linguaggi di Programmazione: Definizioni Ricorsive -
SLP - Semantica dei Linguaggi di Programmazione
La Semantica Denotazionale dei Linguaggi di Programmazione: Ambiente. Memoria e Puntatori - C - Programmazione
- *
CB - Costrutti di Base
La Programmazione Funzionale in CAML - *
R - Ricorsione
Progetto e realizzazioni di Funzioni Ricorsive in CAML - *
R - Ricorsione
Progetto e realizzazioni di Funzioni Ricorsive in CAML - *
CB - Costrutti di Base
La Programmazione Funzionale in CAML - *
CB - Costrutti di Base
La Programmazione Funzionale: Introduzione - *
SDTD - Strutture Dati e Tipi di Dati astratti
Il sistema di tipi di CAML - *
SCP - Sviluppo e Correttezza dei Programmi
Laboratorio di Programmazione CAML e Verifica - *
SCP - Sviluppo e Correttezza dei Programmi
Laboratorio di Programmazione CAML e Verifica
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
