Titre : |
Fonctions logique et raisonnement |
Type de document : |
texte imprimé |
Auteurs : |
Michel Chastellain, Auteur ; Jacques- André CALAME, Auteur ; Michel BRECHET, Auteur |
Editeur : |
LOISIRS ET PEDAGOGIE |
Année de publication : |
2002 |
Importance : |
106 p. |
Présentation : |
ill. |
Format : |
28 cm |
ISBN/ISSN/EAN : |
978-2-606-01046-1 |
Langues : |
Français (fre) |
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Nombres et opérations Calcul littéral Géométrie |
Index. décimale : |
511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types). |
Fonctions logique et raisonnement [texte imprimé] / Michel Chastellain, Auteur ; Jacques- André CALAME, Auteur ; Michel BRECHET, Auteur . - LOISIRS ET PEDAGOGIE, 2002 . - 106 p. : ill. ; 28 cm. ISBN : 978-2-606-01046-1 Langues : Français ( fre)
Catégories : |
MATHEMATIQUE
|
Mots-clés : |
Mathématiques Nombres et opérations Calcul littéral Géométrie |
Index. décimale : |
511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types). |
| ![Fonctions logique et raisonnement vignette](http://biblio.unhorizons.org/opac_css/images/vide.png) |