Éléments de logique - cours complet (propositions, prédicats et raisonnement)
ÉLÉMENTS DE LOGIQUE — COURS COMPLET Logique propositionnelle, calcul des prédicats et techniques de raisonnement Ce cours reprend et complète le chapitre « Éléments de logique » du module UTC501 (Outils mathématiques pour l'informatique, CNAM Hauts-de-France, d'après B. Foltz). …
Lire la suite →