Intelligenza artificiale (2003/2004)

Corso a esaurimento

Codice insegnamento
4S00075
Docente
Maria Paola Bonacina
Coordinatore
Maria Paola Bonacina
crediti
5
Altri corsi di studio in cui è offerto
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
2° Q dal 12-gen-2004 al 12-mar-2004.
Pagina Web
http://profs.sci.univr.it/~bonacina/teachingUniVR/IA2003-04.html

Orario lezioni

Testi di riferimento
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 didattico

Documenti

Condividi