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° | 30-set-2002 | 29-nov-2002 |
2° | 13-gen-2003 | 14-mar-2003 |
3° | 7-apr-2003 | 13-giu-2003 |
Sessione | Dal | Al |
---|---|---|
Prima sessione | 9-dic-2002 | 20-dic-2002 |
Seconda Sessione | 24-mar-2003 | 4-apr-2003 |
Terza Sessione | 23-giu-2003 | 4-lug-2003 |
Prima Sessione Straordinaria | 7-lug-2003 | 18-lug-2003 |
Seconda Sessione Straordinaria | 1-set-2003 | 12-set-2003 |
Terza Sessione Straordinaria | 15-set-2003 | 26-set-2003 |
Sessione | Dal | Al |
---|---|---|
1 | 17-mar-2004 | 17-mar-2004 |
Periodo | Dal | Al |
---|---|---|
Vacanze pasquali | 18-apr-2003 | 27-apr-2003 |
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
Burattini Emilio
emilio.burattini@univr.itMartignano Maurizio
maurizio.martignano@esa.int +31715656749Piccinini Nicola
piccinini@sci.univr.it +39 349 7461319Rossato Rosalba
rossato@sci.univr.it +39 045 802 7077Scollo Giuseppe
giuseppe . scollo at univr . it 045 802 7940Piano 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. 2005/2006
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2006/2007
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 (2005/2006)
Codice insegnamento
4S00075
Docente
Crediti
5
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
INF/01 - INFORMATICA
Periodo
1° Q - 2° anno e successivi dal 3-ott-2005 al 2-dic-2005.
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).
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 1) | Prentice Hall | 1995 | 0131038052 | Versione originale della prima edizione del testo adottato |
Stuart Russell, Peter Norvig | Artificial Intelligence: A Modern Approach (Edizione 2) | Prentice Hall | 2003 | 0137903952 | Versione originale del testo adottato |
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Automated Model Building (Edizione 1) | Kluwer Academic Publishers | 2004 | 1-4020-265 | Libro di riferimento per ragionamento automatico |
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 |
Rolf Socher-Ambrosius, Patricia Johann | Deduction Systems (Edizione 1) | Springer Verlag | 1997 | 0387948473 | Libro di riferimento per ragionamento automatico |
Klaus Truemper | Design of Logic-based Intelligent Systems (Edizione 1) | John Wiley and Sons | 2004 | 0471484032 | Libro di riferimento per ragionamento automatico |
Raymond M. Smullyan | First-order logic | Dover Publications | 1995 | 0486683702 | Libro di riferimento per ragionamento automatico |
Allan Ramsay | Formal Methods in Artificial Intelligence (Edizione 1) | Cambridge University Press | 1989 | 0521424216 | Libro di riferimento per ragionamento automatico |
Judea Pearl | Heuristics: Intelligent search strategies for computer problem solving (Edizione 1) | Addison Wesley | 1985 | 0-201-0559 | 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 | Adottato |
Stuart Russell, Peter Norvig | Intelligenza Artificiale: un approccio moderno (Edizione 1) | UTET libreria | 1998 | Versione italiana della prima edizione del testo adottato | |
Chin-Liang Chang, Richard Char-Tung Lee | Symbolic Logic and Mechanical Theorem Proving (Edizione 1) | Academic Press | 1973 | 0121703509 | Libro di riferimento per ragionamento automatico |
Alexander Leitsch | The Resolution Calculus (Edizione 1) | Springer | 1997 | 3540618821 | Libro di riferimento per ragionamento automatico |
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 2005, essendo il corso nel I quadrimestre dell'AA 2005-06; 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.
Tipologia di Attività formativa D e F
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.