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

Anno accademico:
Definizione dei periodi di lezione
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
Sessioni di lauree
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
Vacanze
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

Calendario esami

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

Docenti

A B C D F M O P Q R S

Acquaviva Andrea

symbol email andrea.acquaviva@univr.it symbol phone-number +39 045 802 7059

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

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

Fiorini Paolo

symbol email paolo.fiorini@univr.it symbol phone-number 045 802 7963

Fusiello Andrea

symbol email nome.cognome[at]uniud.it

Mariotto Gino

symbol email gino.mariotto@univr.it

Masini Andrea

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

Mastroeni Isabella

symbol email isabella.mastroeni@univr.it symbol phone-number +390458027089

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

Pica Angelo

symbol email angelo.pica@univr.it

Posenato Roberto

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

Quaglia Davide

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

Rocchesso Davide

symbol email davide.rocchesso@univr.it

Segala Roberto

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

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.

1° Anno

InsegnamentiCreditiTAFSSD

2° Anno  Attivato nell'A.A. 2004/2005

InsegnamentiCreditiTAFSSD

3° Anno  Attivato nell'A.A. 2005/2006

InsegnamentiCreditiTAFSSD

4° Anno  Attivato nell'A.A. 2006/2007

InsegnamentiCreditiTAFSSD
Due insegnamenti affini (area matematica) a scelta per complessivi 10 crediti
4 insegnamenti caratterizzanti a scelta per un totale di 20 crediti (la scelta di 4 insegn. al 4° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)

5° Anno  Attivato nell'A.A. 2007/2008

InsegnamentiCreditiTAFSSD
3 insegnamenti caratterizzanti a scelta per un totale di 15 crediti (la scelta di 3 insegn. al 5° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
Laboratorio di sistemi Intelligenti e Multimediali
10
E
-
Altre attività formative
6
F
-
Prova finale
24
E
-
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2004/2005
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2005/2006
InsegnamentiCreditiTAFSSD
Attivato nell'A.A. 2006/2007
InsegnamentiCreditiTAFSSD
Due insegnamenti affini (area matematica) a scelta per complessivi 10 crediti
4 insegnamenti caratterizzanti a scelta per un totale di 20 crediti (la scelta di 4 insegn. al 4° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
Attivato nell'A.A. 2007/2008
InsegnamentiCreditiTAFSSD
3 insegnamenti caratterizzanti a scelta per un totale di 15 crediti (la scelta di 3 insegn. al 5° anno è un suggerimento, il vincolo è: 7 insegn. tra N.6 e N.8)
Laboratorio di sistemi Intelligenti e Multimediali
10
E
-
Altre attività formative
6
F
-
Prova finale
24
E
-

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

4S00075

Crediti

5

Lingua di erogazione

Italiano

Settore Scientifico Disciplinare (SSD)

INF/01 - INFORMATICA

Periodo

1° Q dal 2-ott-2006 al 1-dic-2006.

Sede

VERONA

Obiettivi formativi

Il corso introduce lo studente al campo dell'intelligenza artificiale, presentando i suoi problemi, concetti e metodi di base. Dopo aver appreso il quadro generale della soluzione automatica di problemi, si studiano problemi e tecniche dell'intelligenza artificiale in alcune aree specifiche, come soluzione di problemi con vincoli, giochi, pianificazione e ragionamento automatico, in modo che lo studente sia preparato a lavorare ad una tesi di laurea specialistica/magistrale in intelligenza artificiale.

Programma

Metodi dell'intelligenza artificiale: risoluzione di problemi come ricerca in uno spazio di stati; procedure di ricerca non informate; procedure di ricerca informate e ricerca euristica; problemi di soddisfazione di vincoli: unificazione; soddisfacibilita` proposizionale (SAT); problemi con avversario: giochi (opzionale).
Rappresentazione della conoscenza: uso della logica proposizionale e del primo ordine. Metodi per il ragionamento automatico: risoluzione, tableaux o eliminazione di modelli, paramodulazione e riscrittura (cenni). Pianificazione (opzionale).

Modalità d'esame

Esame mediante prove parziali:
questa modalità vale solo per il primo appello dopo la fine delle lezioni, ovvero per la sessione di dicembre 2006, essendo il corso nel I quadrimestre dell'AA 2006-07; l'esame consta di un compito scritto di due ore (C) e di un progetto individuale di programmazione (P) da realizzare a casa o in laboratorio durante il corso; il voto d'esame è dato da: 50% C + 50% P; passato il primo appello dopo la fine delle lezioni, le prove parziali non valgono più nulla.

Esame senza prove parziali:
in questa modalità, l'esame consta di un unico compito scritto (E), di difficoltà tale da uguagliare C + P, il cui voto determina il voto d'esame. Questa modalità vale per tutti gli appelli, incluso il primo dopo la fine delle lezioni. Tuttavia chi sostiene l'esame E al primo appello perde il voto eventualmente maturato con 50% C + 50% P.

Nota: per semplicità organizzativa e onde non disturbare altri corsi con prove scritte fuori calendario, il compito scritto C (prova parziale) si terrà nella stessa data, ora e luogo dell'esame E della sessione di dicembre (naturalmente contenuto e durata di C ed E saranno diversi).

Registrazione: a ogni sessione d'esame ci saranno due date: una per lo scritto ed una per registrare il voto. Per chi sostiene l'esame e lo registra nella stessa sessione, è sufficiente iscriversi alla prima. Iscriversi alla seconda data è necessario per chi ha sostenuto l'esame in una sessione precedente, ma non lo ha registrato.

Regolamento: tutti gli elaborati sono individuali; è severamente vietato copiare e scambiare/passare/condividere codice. Tutti gli elaborati che mostrano di essere stati copiati ricevono voto 0, senza distinzione tra chi copia e chi fa copiare.

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

Tipologia di Attività formativa D e F

Documenti e avvisi

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