GEOTRUST SSL CERTIFICATE
Résultat de la recherche
2 recherche sur le mot-clé 'calcul propositionnel'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Thierry Lucas, Auteur ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur | Bruxelles : De Boeck | Démarches de pensée, ISSN 1379-5287 | 2005Présente la logique des propositions et la logique des prédicats du premier ordre : exemples de base abordés de façon informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études[...]![]()
texte imprimé
Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.