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 | 27-set-2004 | 26-nov-2004 |
2° Q | 10-gen-2005 | 11-mar-2005 |
3° Q | 11-apr-2005 | 10-giu-2005 |
Sessione | Dal | Al |
---|---|---|
I Sessione esami | 6-dic-2004 | 17-dic-2004 |
II Sessione esami | 21-mar-2005 | 8-apr-2005 |
Sessione estiva | 20-giu-2005 | 15-lug-2005 |
Sessione autunnale | 5-set-2005 | 30-set-2005 |
Sessione | Dal | Al |
---|---|---|
Sessione straordinaria | 15-dic-2004 | 15-dic-2004 |
Sessione invernale | 15-mar-2005 | 15-mar-2005 |
Sessione estiva | 20-lug-2005 | 20-lug-2005 |
Sessione autunnale | 21-set-2005 | 21-set-2005 |
Periodo | Dal | Al |
---|---|---|
Festa di tutti i santi | 1-nov-2004 | 1-nov-2004 |
Immacolata Concezione | 8-dic-2004 | 8-dic-2004 |
Vacanze Natalizie | 22-dic-2004 | 6-gen-2005 |
Vacanze Pasquali | 24-mar-2005 | 29-mar-2005 |
Festa del Lavoro | 1-mag-2005 | 1-mag-2005 |
Festa del Patrono S. Zeno | 21-mag-2005 | 21-mag-2005 |
Festa della Repubblica | 2-giu-2005 | 2-giu-2005 |
Vacanze estive | 25-lug-2005 | 31-ago-2005 |
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.
4° Anno Attivato nell'A.A. 2007/2008
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2008/2009
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.
Intelligenza artificiale (2007/2008)
Codice insegnamento
4S00075
Docente
Crediti
5
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
1° Q dal 3-ott-2007 al 4-dic-2007.
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, ragionamento automatico ed apprendimento automatico. Con questo corso lo studente è preparato a lavorare ad una tesi di Laurea Specialistica o Magistrale in intelligenza artificiale.
Programma
Metodi di base dell'intelligenza artificiale: risoluzione automatica 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. Problemi con avversario: giochi. Rappresentazione della conoscenza: uso della logica proposizionale e del primo ordine. Ragionamento automatico in logica proposizionale: procedura di Davis-Putnam-Logemann-Loveland. Ragionamento automatico in logica del primo ordine: ragionamento in avanti e all'indietro; risoluzione.
Metodi per la pianificazione. Apprendimento automatico.
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
---|---|---|---|---|---|
Elaine Rich, Kevin Knight | Artificial Intelligence (Edizione 2) | McGraw Hill | 1991 | 0070522634 | Altro libro di riferimento per intelligenza artificiale. |
Stuart Russell, Peter Norvig | Artificial Intelligence: A Modern Approach (Edizione 2) | Prentice Hall | 2003 | 0137903952 | In alternativa al testo adottato. |
David Poole, Alan Mackworth, Randy Goebel | Computational Intelligence -- A logical approach (Edizione 1) | Oxford University Press | 1998 | 0195102703 | Altro libro di riferimento per intelligenza artificiale. |
Klaus Truemper | Design of Logic-based Intelligent Systems (Edizione 1) | John Wiley and Sons | 2004 | 0471484032 | Altro libro di riferimento per intelligenza artificiale. |
Judea Pearl | Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) | Addison Wesley | 1985 | 0-201-0559 | Altro libro di riferimento per tecniche di ricerca. |
Stuart Russell, Peter Norvig | Intelligenza artificiale: Un approccio moderno (Edizione 2) | Pearson Education Italia | 2005 | 88-7192-22 | Testo adottato. |
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, essendo il corso nel I quadrimestre; l'esame consta di un compito scritto (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: 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 la data dell'esame è la data dello scritto ed è sufficiente iscriversi a quella. Non è permesso "rifiutare" il voto e tutti i voti saranno registrati. Lo studente insoddisfatto di come sta andando l'esame può ritirarsi: per ritirarsi è sufficiente non consegnare E o C.
Regolamento: tutti gli elaborati sono individuali; è severamente vietato copiare e scambiare o passare o condividere codice. Tutti gli elaborati che mostrano di essere stati copiati ricevono voto 0, senza distinzione tra chi copia e chi fa copiare.
Tipologia di Attività formativa D e F
Documenti e avvisi
- Brochure piano didattico (pdf, it, 10 KB, 11/08/04)
- Manifesto del corso di laurea (pdf, it, 18 KB, 06/10/04)
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.