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.

A.A. 2008/2009

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à.

Anno accademico:
Definizione dei periodi di lezione
Periodo Dal Al
1° Q 2-ott-2008 19-dic-2008
2° Q 26-gen-2009 27-mar-2009
3° Q 20-apr-2009 19-giu-2009
Sessioni degli esami
Sessione Dal Al
I Sessione esami 7-gen-2009 23-gen-2009
II Sessione esami 30-mar-2009 17-apr-2009
Sessione estiva 29-giu-2009 7-ago-2009
Sessione autunnale 31-ago-2009 25-set-2009
Sessione Straord. solo 1° anno 1-feb-2010 28-feb-2010
Sessioni di lauree
Sessione Dal Al
Sessione straordinaria 10-dic-2008 10-dic-2008
Sessione invernale 11-mar-2009 11-mar-2009
Sessione estiva 24-lug-2009 24-lug-2009
Sessione autunnale 29-set-2009 29-set-2009
Vacanze
Periodo Dal Al
Festa di Ognissanti 1-nov-2008 1-nov-2008
Festa dell'Immacolata Concezione 8-dic-2008 8-dic-2008
Vacanze di Natale 22-dic-2008 6-gen-2009
Vacanze di Pasqua 10-apr-2009 14-apr-2009
Festa della Liberazione 25-apr-2009 25-apr-2009
Festa del Lavoro 1-mag-2009 1-mag-2009
Festa del Santo Patrono 21-mag-2009 21-mag-2009
Festa della Repubblica 2-giu-2009 2-giu-2009
Vacanze estive 8-ago-2009 16-ago-2009

Calendario esami

Gli appelli d'esame sono gestiti dalla Unità Operativa Didattica e Studenti 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

A B C D F G M P S V

Acquaviva Andrea

andrea.acquaviva@univr.it +39 045 802 7059

Bellin Gianluigi

gianluigi.bellin@univr.it +39 045 802 7969

Bonacina Maria Paola

mariapaola.bonacina@univr.it +39 045 802 7046

Combi Carlo

carlo.combi@univr.it 045 802 7985

Cristani Matteo

matteo.cristani@univr.it 045 802 7983

Di Pierro Alessandra

alessandra.dipierro@univr.it +39 045 802 7971

Fummi Franco

franco.fummi@univr.it 045 802 7994

Giacobazzi Roberto

roberto.giacobazzi@univr.it +39 045 802 7995

Manca Vincenzo

vincenzo.manca@univr.it 045 802 7981

Masini Andrea

andrea.masini@univr.it 045 802 7922

Mastroeni Isabella

isabella.mastroeni@univr.it +39 045 802 7089

Merro Massimo

massimo.merro@univr.it 045 802 7992

Monti Francesca

francesca.monti@univr.it 045 802 7910

Morato Laura Maria

laura.morato@univr.it 045 802 7904

Posenato Roberto

roberto.posenato@univr.it +39 045 802 7967

Pravadelli Graziano

graziano.pravadelli@univr.it +39 045 802 7081

Segala Roberto

roberto.segala@univr.it 045 802 7997

Solitro Ugo

ugo.solitro@univr.it +39 045 802 7977
Marco Squassina,  5 gennaio 2014

Squassina Marco

marco.squassina@univr.it +39 045 802 7913

Vigano' Luca

luca.vigano@univr.it

Villa Tiziano

tiziano.villa@univr.it +39 045 802 7034

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.

InsegnamentiCreditiTAFSSD
5
A
(INF/01)
InsegnamentiCreditiTAFSSD
InsegnamentiCreditiTAFSSD
InsegnamentiCreditiTAFSSD

1° Anno

InsegnamentiCreditiTAFSSD
5
A
(INF/01)

2° Anno

InsegnamentiCreditiTAFSSD

3° Anno

InsegnamentiCreditiTAFSSD

4° Anno

InsegnamentiCreditiTAFSSD
Insegnamenti Crediti TAF SSD
Tra gli anni: 4°- 5°Tre insegnamenti a scelta tra i seguenti
5
S
(MAT/02)

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.




SStage e tirocini presso imprese, enti pubblici o privati, ordini professionali

Codice insegnamento

4S00065

Crediti

5

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Lingua di erogazione

Italiano

Periodo

3° Q dal 20-apr-2009 al 19-giu-2009.

Obiettivi formativi

Il corso introduce le principali tecniche sviluppate nell'area della "semantica formale dei linguaggi di programmazione":

* sistemi di tipi
* semantica operazionale
* domini
* semantica denotazionale


Il corso presuppone le competenze acquisite nei corsi di "Programmazione", "Logica", "Algebra", "Linguaggi di Programmazione" e "Fondamenti dell'informatica" della laurea triennale in informatica.

Programma

1 semantica operazionale
1.1 definizione di un semplice linguaggio imperativo
1.2 regole di valutazione

2 induzione
2.1 induzione matematica
2.2 induzione strutturale
2.3 induzione ben fondata

3 semantica denotazionale dei linguaggi imperativi
3.1 composizionalita'
3.2 il caso dei programmi senza while
3.3 il trattamento del while

4 introduzione alla teoria dei domini
4.1 ordini parziali completi
4.2 continuita'
4.3 il teorema di Knaster-Tarski
4.4 costruzione di domini:
domini prodotto; domini di funzioni; domini piatti
5 PCF
5.1 termini e tipi
5.2 variabbili liberee legate; sostituzione
5.3 tipaggio
5.4 valutazione (semantica operazionale)

6 semantica denotazionale di PCF
6.1 denotazione dei termini
6.2 denotazione dei termini
6.3 composizionalita'
6.4 correttezza

Modalità d'esame

L'esame consiste in una prova scritta

Materiale Didattico

Tipologia di Attività formativa D e F

Anno accademico:

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.

Ulteriori servizi

I servizi e le attività di orientamento sono pensati per fornire alle future matricole gli strumenti e le informazioni che consentano loro di compiere una scelta consapevole del corso di studi universitario.