Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Calendario accademico
Il calendario accademico riporta le scadenze, gli adempimenti e i periodi rilevanti per la componente studentesca, personale docente e personale dell'Università. Sono inoltre indicate le festività e le chiusure ufficiali dell'Ateneo.
L’anno accademico inizia il 1° ottobre e termina il 30 settembre dell'anno successivo.
Calendario didattico
Il calendario didattico indica i periodi di svolgimento delle attività formative, di sessioni d'esami, di laurea e di chiusura per le festività.
Per l'anno 2001/2002 Nessun calendario ancora disponibile
Calendario esami
Gli appelli d'esame sono gestiti dalla Unità Operativa Segreteria Corsi di Studio Scienze e Ingegneria.
Per consultazione e iscrizione agli appelli d'esame visita il sistema ESSE3.
Per problemi inerenti allo smarrimento della password di accesso ai servizi on-line si prega di rivolgersi al supporto informatico della Scuola o al servizio recupero credenziali
Docenti
Burattini Emilio
emilio.burattini@univr.itPiccinini Nicola
piccinini@sci.univr.it +39 349 7461319Scollo Giuseppe
giuseppe . scollo at univr . it 045 802 7940Piano Didattico
Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
Il piano didattico 2001/2002 sarà disponibile entro il 2 aprile. In attesa che venga pubblicato consulta il piano dell'anno accademico in corso al seguente link.
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Semantica (2004/2005)
Codice insegnamento
4S00065
Docente
Crediti
5
Offerto anche nei corsi:
- Semantica del corso Laurea in Informatica (vecchio ordinamento)
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
3° Q dal 11-apr-2005 al 10-giu-2005.
Sede
VERONA
Obiettivi formativi
Scopo del corso è quello di introdurre le principali tecniche matematiche usate nello studio dei linguaggi di programmazione:
* sistemi di tipi
* semantica operazionale
* domini
* semantica denotazionale
Il corso, di tipo prettamente teorico, si rivolge a studenti della laurea specialistica in informatica con forti interessi allo studio dei fondamenti dei linguaggi di programmazione.
Il corso presuppone le competenze acquisite nei corsi di "Programmazione", "Logica", "Algebra" e "Fondamenti dell'informatica" della laurea triennale in informatica.
Programma
1. Il concetto di semantica dei linguaggi di programmazione: il caso di un semplicissimo linguaggio imperativo
2. Il lamda-calcolo tipato semplice: sintassi e semantica
3. Il linguaggio PCF (Programming Language for Computable Functions)
1. Semantica operazionale di PCF: Call-by-Value
2. Ordini parziali completi (CPO) e punti fissi
3. Semantica a Punto-Fisso di PCF
4. Confronto tra semantica operazionale e semantica denotazionale
5. Call-by-Value per PCF
4. Polimorfismo
1. Il sistema polimorfo di tipi di ML
2. Il sistema di inferenza dei tipi
3. Il lambda-calcolo polimorfo: sistema F di Girard (cenni)
L'attività formativa sarà basata su lezioni frontali.
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
---|---|---|---|---|---|
Carl A. Gunter | Semantics of Programming Languages | MIT Press | 1992 | 0262570955 |
Modalità d'esame
L'esame consiste in una prova orale
Materiale e documenti
- Modalita' esame (html, it, 0 KB, 23/02/05)
- Programma (html, it, 2 KB, 23/02/05)
Tipologia di Attività formativa D e F
Offerta formativa da definire
Prospettive
Avvisi degli insegnamenti e del corso di studio
Per la comunità studentesca
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.