WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/1126257836

Logique et démonstration automatique introduction à la logique propositionnelle et à la logique du premier ordre

Open All Close All

http://schema.org/description

  • "Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués."

http://schema.org/name

  • "Logique et démonstration automatique introduction à la logique propositionnelle et à la logique du premier ordre"