Informations du cours
La logique est dans une première approche l'étude des règles formelles que doit respecter toute déduction correcte.
On dut également de la logique que s'est la science des inférences, autrement dit elle vise à répondre à la question : comment en appliquant certaines règles, on peut utiliser des connaissances vraies pour en déduire de novelles connaissances vraies.
Elle trouve de nos jours de nombreuses applications dans la linguistique, les systèmes experts, les systèmes à base de connaissances, en philosophie analytique ou dans le domaine de la traduction automatique.
- Enseignant: Noureddine Djedi