DIC9305 Logique, informatique et sciences cognitives
- Laboratoire : PK4360
- Plan de cours
- Introduction et présentation du cours
- Connaissance, sémantique et inférence
- Logique de description I
- Logique de description II
- Modélisation, inférence, base de connaissances I
- Modélisation, inférence, base de connaissances II
- Calcul propositionnel
- Logique du premier-ordre
- Références
Pour tout commentaire, vous adresser à