Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC

Logique et langage : déduction naturelle avec exercices interactifs et animés, logiciel LOGIC

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Desclès Jean-Pierre (Auteur), Djioua Brahim (Auteur), Le Priol Florence (Auteur)
Format : Livre
Langue : français
Titre complet : Logique et langage : déduction naturelle : avec exercices interactifs et animés, logiciel LOGIC / Jean-Pierre Desclés, Brahim Djioua, Florence Le Priol
Publié : [Paris] : Hermann , impr. 2010
Description matérielle : 1 vol. (208 p.)
1 disque optique numérique (CD-R)
Contenu : @LOGIC
Contient : LOGIC
Sujets :
Déduction (logique) > Problèmes et exercices
Raisonnement > Problèmes et exercices
Langage et logique > Problèmes et exercices
Calcul des propositions
Calcul des prédicats
Description
Notes : La couv. porte en plus : "cours d'initiation à la logique + 1 CD-Rom gratuit d'exercices interactifs et animés"
Le cédérom doit être commandé séparément à l'aide d'un coupon-réponse joint au livre
Configuration requise : Configuration requise : PC. Autre configuration requise : Macintosh
ISBN : 978-2-7056-6925-6
Type de ressource électronique : Type de ressource électronique : données textuelles et chiffrées