Introduction

Logique ??

• Wikipedia

La logique est l'étude des règles formelles permettant d'exprimer correctement une argumentation.

Raisonement correcte

Un raisonement est un moyen d'obtenir une conclusion à partir d'hypthèse données.

Exemple 1 : - Hypothèse 1 : Tous les hommes sont mortels - Hypothèse 2 : socrate est un homme

-> Conclusion : socrate est mortel !

Exemple 2 : - Hypothèse 1 : Tout ce qui est rare est cher - Hypothèse 2 : Un cheval bon marché est rare - Hypothèse 3 : Tout ce qui est bon marché n'est pas cher

-> Conclusion hypothèse contradictoire !

Avec des hypothèse contradictoire on peut dire n'importe quoi !!

• Il faut être sur que nos hypothèse soit vrai.

Applicaton informatique

• Hardware (portes logiques)
• Vérification et correction de programme
• IA (symobolique, vielle IA)
• Programmation (Prolog)
• Sécurité

Pourquoi étudier la logique ?

• C'est fun 😃

C'est aussi fondamental pour l'informatique

Objectif du module

Modéliser et formaliser un problème écris en language naturel.

Comprendre un rasinement présenter sous forme symobolique et savoir si il est correcte.

Démontrer des raisonement.

Prouver qu'un programme est correcte.

Contenu et Evaluation

1) Logique proposionnelle 2) Logique du premier ordre 3) Une application à l'informatique (si temps disponible)

Tps/devoirs à rendre, des quizz ... contrôle continu