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 accademico

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

Calendario esami

Per dubbi o domande leggi le risposte alle domande più frequenti F.A.Q. Iscrizione Esami

Docenti

B C D F G M O P Q R S

Bellin Gianluigi

symbol email gianluigi.bellin@univr.it symbol phone-number +39 045 802 7969

Belussi Alberto

symbol email alberto.belussi@univr.it symbol phone-number +39 045 802 7980

Bonacina Maria Paola

symbol email mariapaola.bonacina@univr.it symbol phone-number +39 045 802 7046
BurattiniEmilio

Burattini Emilio

symbol email emilio.burattini@univr.it

Combi Carlo

symbol email carlo.combi@univr.it symbol phone-number +390458027985

Cristani Matteo

symbol email matteo.cristani@univr.it symbol phone-number 045 802 7983

De Marchi Stefano

symbol email stefano.demarchi@univr.it symbol phone-number 045 8027978

Drago Nicola

symbol email nicola.drago@univr.it symbol phone-number 045 802 7081

Fontana Federico

symbol email federico.fontana@univr.it symbol phone-number +39 045 802 7032

Fummi Franco

symbol email franco.fummi@univr.it symbol phone-number 045 802 7994

Giacobazzi Roberto

symbol email roberto.giacobazzi@univr.it symbol phone-number +39 045 802 7995

Gregorio Enrico

symbol email Enrico.Gregorio@univr.it symbol phone-number 045 802 7937

Manca Vincenzo

symbol email vincenzo.manca@univr.it symbol phone-number 045 802 7981

Masini Andrea

symbol email andrea.masini@univr.it symbol phone-number 045 802 7922

Merro Massimo

symbol email massimo.merro@univr.it symbol phone-number 045 802 7992

Monti Francesca

symbol email francesca.monti@univr.it symbol phone-number 045 802 7910

Morato Laura Maria

symbol email laura.morato@univr.it symbol phone-number 045 802 7904

Murino Vittorio

symbol email vittorio.murino@univr.it symbol phone-number 045 802 7996

Oliboni Barbara

symbol email barbara.oliboni@univr.it symbol phone-number +39 045 802 7077

Orlandi Giandomenico

symbol email giandomenico.orlandi at univr.it symbol phone-number 045 802 7986

Pica Angelo

symbol email angelo.pica@univr.it
PiccininiNicola

Piccinini Nicola

symbol email piccinini@sci.univr.it symbol phone-number +39 349 7461319

Posenato Roberto

symbol email roberto.posenato@univr.it symbol phone-number +39 045 802 7967

Pravadelli Graziano

symbol email graziano.pravadelli@univr.it symbol phone-number +39 045 802 7081

Quaglia Davide

symbol email davide.quaglia@univr.it symbol phone-number +39 045 802 7811

Rossignoli Cecilia

symbol email cecilia.rossignoli@univr.it symbol phone-number 045 802 8173
Giuseppe Scollo in Waddenzee 1987,  18 febbraio 2005

Scollo Giuseppe

symbol email giuseppe . scollo at univr . it symbol phone-number 045 802 7940

Segala Roberto

symbol email roberto.segala@univr.it symbol phone-number 045 802 7997

Spoto Nicola Fausto

symbol email fausto.spoto@univr.it symbol phone-number +39 045 8027940

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.

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.




S Stage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S00063

Crediti

5

Offerto anche nei corsi:

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

2° Q dal 10-gen-2005 al 11-mar-2005.

Sede

VERONA

Obiettivi formativi

Fornire un'introduzione alla programmazione funzionale, allo studio degli algoritmi e allo sviluppo di strutture dati complesse in tale paradigma di programmazione.

Programma

* Introduzione al corso e alla programmazione funzionale.
* Utilizzo dell'ambiente di programmazione OCaml.
* Introduzione alla programmazione OCaml.
* Funzioni come valori.
* Valutazioni strette e lazy.
* Persistenza: liste, alberi binari di ricerca.
* Heap sinistrorsi e binomiali, alberi rosso-neri
* Valutazione lazy: gli stream
* Analisi ammortizzata: code e heap
* Ammortizzazione e persistenza tramite valutazione lazy
* Il metodo del banchiere e quello del fisico
* Eliminazione dell'ammortizzazione
* Ricostruzione lazy

Il corso si svolge in 44 lezioni, due terzi delle quali frontali, e un terzo delle quali in laboratorio.

Testi di riferimento
Autore Titolo Casa editrice Anno ISBN Note
Chris Okasaki Purely Functional Data Structures (Edizione 1) Cambridge University Press 1998 0-521-6635 Riferimento per la parte di strutture dati, valutazione lazy e ammortizzazione.
Xavier Leroy et al. The Objective Caml System 2004 Riferimento per il linguaggi OCaml. Disponibile in rete all'indirizzo: http://caml.inria.fr/ocaml/htmlman/

Modalità d'esame

L'esame consiste in un orale e in un progetto.

L'orale mira a verificare le conoscenze teoriche degli argomenti trattati a lezione. Il progetto intende verificare l'acquisizione da parte dello studente delle capacità di lavoro in programmazione funzionale.

Le/gli studentesse/studenti con disabilità o disturbi specifici di apprendimento (DSA), che intendano richiedere l'adattamento della prova d'esame, devono seguire le indicazioni riportate QUI

Materiale e documenti

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.