Un cours d'introduction à la logique et notamment
au calcul propositionnel et à certaines techniques
de déduction automatique: résolution, méthode de Davis-Putnam
et diagrammes de décision binaire.