Chargement...
Chargement...
Auteur Berlanger, Isabelle
Auteur

Support

Série

Disponibilité

1
Initiation à la logique formelle : exercices et corrigés

Initiation à la logique formelle : exercices et corrigés

Auteur : Thierry Lucas
Éditeur(s): De Boeck
Pré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 de propriétés fondame...
24,50 €
Chargement...
Initiation à la logique formelle : avec exercices et corrigés

Initiation à la logique formelle : avec exercices et corrigés

Auteur : Thierry Lucas
Éditeur(s): De Boeck supérieur
Pré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, études de propriétés fondamentales, méthode des contre-exemples et méthode...
25,90 €
Chargement...
Initiation à la logique formelle : exercices et corrigés

Initiation à la logique formelle : exercices et corrigés

Auteur : Thierry Lucas
Éditeur(s): De Boeck
Pré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 de propriétés fondame...
24,50 €
Chargement...
1