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...
Facettes de la logique formelle

Facettes de la logique formelle

Auteur : Thierry Lucas
Éditeur(s) : Presses polytechniques et universitaires romandes
Un ouvrage à destination des étudiants en mathématiques, philosophie, informatique ou sciences qui souhaitent approfondir ses connaissances en logique. Avec des exercices à difficulté variable. ©Electre 2025
45,00 €
Chargement...
1