Logique Formelle
Introduction au cours
Pourquoi ce cours vous intéresse
– Vous vous destiné à etre un ingénieurs.... . . en Info, Electronique et Automatique
– Nécessairement, vous allez faire des erreurs parce que vous êtes humains !
Parce que d’autres en ont fait avant vous !
Oui mais pourquoi la logique ?
– Développement personnel : Ingénieurs de qualité ⇐ Rigueur ⇐ Logique
– Science pour la fiabilité des systèmes :
Logique a produit des outils pour l’assurance de la qualité
Méthodes formelles . . . à base de mathématiques
– Intelligence Artificielle
Pour plus visitez les modules : Systemes intélligents
