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 | 29-set-2003 | 28-nov-2003 |
2° Q | 12-gen-2004 | 12-mar-2004 |
3° Q | 5-apr-2004 | 11-giu-2004 |
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 |
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
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. 2006/2007
Insegnamenti | Crediti | TAF | SSD |
---|
5° Anno Attivato nell'A.A. 2007/2008
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 (2003/2004)
Codice insegnamento
4S00075
Docente
Coordinatore
Crediti
5
Offerto anche nei corsi:
- Intelligenza artificiale del corso Laurea in Informatica (vecchio ordinamento)
Lingua di erogazione
Italiano
Periodo
2° Q dal 12-gen-2004 al 12-mar-2004.
Sede
VERONA
Autore | Titolo | Casa editrice | Anno | ISBN | Note |
---|---|---|---|---|---|
S. Bosch | Algebra | Springer Unitext | 2003 | 978-88-470-0221-0 | |
Elaine Rich, Kevin Knight | Artificial Intelligence (Edizione 2) | McGraw Hill | 1991 | 0070522634 | |
Stuart Russell, Peter Norvig | Artificial Intelligence -- A Modern Approach (Edizione 1) | Prentice Hall | 1995 | 0131038052 | |
Stuart Russell, Peter Norvig | Artificial Intelligence: A Modern Approach (Edizione 2) | Prentice Hall | 2003 | 0137903952 | |
David Poole, Alan Mackworth, Randy Goebel | Computational Intelligence -- A logical approach (Edizione 1) | Oxford University Press | 1998 | 0195102703 | |
Rolf Socher-Ambrosius, Patricia Johann | Deduction Systems (Edizione 1) | Springer Verlag | 1997 | 0387948473 | |
Raymond M. Smullyan | First-order logic | Dover Publications | 1995 | 0486683702 | |
Allan Ramsay | Formal Methods in Artificial Intelligence (Edizione 1) | Cambridge University Press | 1989 | 0521424216 | |
Chin-Liang Chang, Richard Char-Tung Lee | Symbolic Logic and Mechanical Theorem Proving (Edizione 1) | Academic Press | 1973 | 0121703509 | |
Alexander Leitsch | The Resolution Calculus (Edizione 1) | Springer | 1997 | 3540618821 |
Materiale e documenti
- |Modalità-esame (html, it, 1 KB, 24/11/03)
- |Programma (html, it, 1 KB, 20/02/04)
Tipologia di Attività formativa D e F
Documenti e avvisi
- Documento ufficiale (pdf, it, 21 KB, 25/06/03)
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.