GEOTRUST SSL CERTIFICATE
Résultat de la recherche
2 recherche sur le mot-clé 'calcul des prédicats'
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
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.