|
Titre :
|
Introduction au raisonnement mathématique : logique et théorie des ensembles
|
|
Auteurs :
|
Jean-Claude Dupin, Auteur ;
Jean-Luc Valein, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Armand Colin, 1993
|
|
Collection :
|
Flash U, ISSN 0985-9306, num. 13
|
|
ISBN/ISSN/EAN :
|
978-2-200-21376-3
|
|
Format :
|
144 p. / 21 x 14 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
378.51
|
|
Mots-clés:
|
ensembles, théorie des
|
|
Résumé :
|
Sert d'interface entre les mathématiques du lycée et celles du premier cycle de l'enseignement supérieur. Facilite ainsi la compréhension et l'écriture (quantifiée) des énoncés du langage mathématique, fournit les méthodes élémentaires de démonstration, et introduit une programmation structurée et automatique des démonstrations plus complexes.
|
