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à.
Periodo | Dal | Al |
---|---|---|
1° Q - 2° anno e successivi | 29-set-2003 | 28-nov-2003 |
2° Q | 12-gen-2004 | 12-mar-2004 |
3° Q | 5-apr-2004 | 11-giu-2004 |
Sessione | Dal | Al |
---|---|---|
Sessione straordinaria | 17-dic-2003 | 17-dic-2003 |
Sessione invernale | 17-mar-2004 | 17-mar-2004 |
Sessione estiva | 22-lug-2004 | 22-lug-2004 |
Sessione autunnale | 22-set-2004 | 22-set-2004 |
Periodo | Dal | Al |
---|---|---|
Festa di tutti i santi | 1-nov-2003 | 1-nov-2003 |
Vacanze natalizie | 22-dic-2003 | 6-gen-2004 |
Vacanze Pasquali | 8-apr-2004 | 13-apr-2004 |
Festa del Patrono S. Zeno | 12-apr-2004 | 12-apr-2004 |
Festa del lavoro | 1-mag-2004 | 1-mag-2004 |
Festa della Repubblica | 2-giu-2004 | 2-giu-2004 |
Vacanze estive | 26-lug-2004 | 31-ago-2004 |
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
Piano 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.
2° Anno Attivato nell'A.A. 2004/2005
Insegnamenti | Crediti | TAF | SSD |
---|
4° Anno Attivato nell'A.A. 2006/2007
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2007/2008
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
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.
Linguaggi funzionali (2006/2007)
Codice insegnamento
4S00063
Crediti
5
Lingua di erogazione
Italiano
Sede
VERONA
L'insegnamento è organizzato come segue:
Teoria
Crediti
4
Periodo
Non ancora assegnato
Sede
VERONA
Docenti
Non ancora assegnato
Laboratorio
Crediti
1
Periodo
Non ancora assegnato
Sede
VERONA
Docenti
Non ancora assegnato
Obiettivi formativi
Il corso fornisce le nozioni teoriche (lambda-calcolo, inferenza dei tipi) e pratiche (programmazione ricorsiva e funzionale, sospensioni) della programmazione funzionale con linguaggio CAML.
Programma
- lambda-calcolo
- implementazione di alcune strutture dati in lambda-calcolo
- lambda-calcolo tipato
- inferenza dei tipi per il lambda-calcolo tipato
- il linguaggio CAML
- programmazione in CAML: pattern-matching
- liste, alberi in CAML
- heap in CAML
- sospensioni (valutazione-lazy)
- stream in CAML
- compilazione dei linguaggi funzionali
Modalità d'esame
L'esame consiste in una prova al calcolatore, che puo' richiedere delle conoscenze teoriche sui linguaggi funzionali.
Tipologia di Attività formativa D e F
Documenti e avvisi
- Documento ufficiale (pdf, it, 21 KB, 25/06/03)
Insegnamenti non ancora inseriti
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.