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 de déduction naturelle, etc. ©Electre 2025
Paru le : 20/08/2014
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Thierry Lucas Auteur : Isabelle Berlanger Auteur : Vincent Degauquier
Éditeur(s) :
De Boeck supérieur
Collection(s) : Démarches de pensée
Série(s) : Non précisé.
ISBN : 978-2-8041-8248-9
EAN13 : 9782804182489
Reliure : Broché
Pages : 263
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 1.7 cm
Poids: 426 g
Carte fidélité
Mollat Radio
