Ce "cours-TD" concerne est une étude en détail les fondements de la logique classique et de donner aux étudiants une formation suffisante pour qu’ils puissent se familiariser avec d’autres logiques (intuitionniste ou floue) qu’ils peuvent rencontrer plus tard. Et également les sensibiliser au fait que la logique peut être très utile pour automatiser/semiautomatiser les tâches de raisonnement rencontrées lors de la construction/l’analyse de modèles et de programmes.Il contient trois chapitres avec des séries de travaux dirigés et il est destiné aux étudiants de deuxième année licence Mathématique et Informatique et tous ceux qui souhaitent se documenter sur la logique mathématique.