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
Chargement en cours