separator
University of Trento
Fall 2014

COURSE OBJECTIVES AND OUTCOMES

The goal of this course is to provide motivations, definitions and techinques in support of the usefulness of logic in the effective and efficient modeling of data and knowledge. The course will have succeeded if it stimulates the interested students to continue their career with higher interest into logic-based models for data and knowledge representation in their own field of expertise, and to produce computer-processable solutions of relevant problems.


COURSE DESIGNERS

 
 
Latest News
Fausto Giunchiglia   Vincenzo Maltese  

Solutions of the June exam are now available.

To subscribe to the mailing list:

  1. Create an account at https://list.fbk.eu/sympa
  2. Send email to sympa@list.fbk.eu with subject: SUBSCRIBE math-logic-course-forum@list.fbk.eu: <name> <surname>
   
Fausto Giunchiglia
 
   
separator
University of Trento - Master in Computer Science