2013
2013
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Logic
Informazioni generali
Corso di Laurea Informatica Percorso Computer Science and Technology
CFU 6 Università TRENTO
Ore di didattica frontale per CFU 8 Settore Scientifico Disciplinare MAT/01
Commento Basics on propositional logic, first order logic and modal logic, and their usage in knowledge representation and reasoning

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area MAT - Crediti di MATEMATICA

Sillabo dell'insegnamento

  • MAT - Crediti di MATEMATICA
    • MAT/01 - Logica Matematica
      Introduction: Data and Knowledge Representation, Languages for Representation
    • MAT/01 - Logica Matematica
      Modeling the World
    • MAT/01 - Logica Matematica
      Propositional Logic: Syntax and semantics, Reasoning, Exercises
    • MAT/01 - Logica Matematica
      The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications
    • MAT/01 - Logica Matematica
      First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB
    • MAT/01 - Logica Matematica
      Modal Logic

(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa