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:
Sillabo dell'insegnamento
(*) Le sottoaree con asterisco sono quelle che il GRIN auspica facciano parte in via prioritaria dei sillabi degli insegnamenti assegnati all?area stessa