2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Mathematical logic
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | ICT Innovation |
|---|---|---|---|
| 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
Modal Logic -
MAT/01 - Logica Matematica
First Order Logic: Syntax and semantics, Reasoning, Exercises, Querying DB -
MAT/01 - Logica Matematica
The logic of classes: Syntax and semantics, TBox, ABox, Exercises and Applications -
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
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
