Bienvenue dans la bibliothèque de l'ENSFEA.
Vous pouvez consulter l'ensemble des références bibliographiques du catalogue en interrogeant le moteur de recherche.
Les usagers inscrits, possédant une carte de lecteur, peuvent accéder à leur compte et aux services rattachés : réservations, suivi des prêts, suggestions d'achats.
Accueil
Sélection de la langue
Adresse
Bibliothèque de l’École Nationale Supérieure de Formation de l'Enseignement Agricole2 route de Narbonne,
31326 Castanet Tolosan
France
05 61 75 34 38
contact
Catégories
> 1305 mathématiques > mathématiques > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (16)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le haut et vers le bas
texte imprimé
Olivier Houdé, Directeur de publication ; Grégoire Borst, Directeur de publication ; Christophe André ; Alain Berthoz ; Jean-Pierre Changeux | Paris : Nathan | Les repères pédagogiques | 2018Une explication du fonctionnement du cerveau dans des situations d'apprentissage accompagnée de conseils à mettre en pratique en classe.
texte imprimé
texte imprimé
texte imprimé
Etudie les aspects historiques et philosophiques de la logique classique.texte imprimé
Etudie les aspects historiques et philosophiques de la logique classique.texte imprimé
G. Kreisel ; J.L. Krivine | Paris : Dunod | MONOGRAPHIES DE LA SOCIETE MATHEMATIQUE DE FRANCE | 1967Ce livre expose les principes de la Méthode Axiomatique traitée, ici, dans son interprétation ensembliste, dite sémantique. Les notions de base considérées sont : les différentes sortes de langages, les réalisations (types de structures mathémat[...]texte imprimé
Cet ouvrage simple et concis passe en revue toute l'histoire des mathématiques de l'Antiquité à nos jours.texte imprimé
Exposé classique de l'algèbre et du calcul des propositions, puis de la logique et du calcul des prédicats, suivi de l'application des concepts de la logique des prédicats à l'arithmétique axiomatique et à la théorie des démonstrations.texte imprimé
texte imprimé
texte imprimé
Traite de la logique mathématique dans une perspective non algébrique.texte imprimé
Traite de la logique mathématique dans une perspective non algébrique.
texte imprimé
Marie-Christine Obert, Directeur de publication ; Micheline Bilas, Directeur de publication ; Olivier Wantiez, Directeur de publication | Lille : Canopé-CRDP de l'académie de Lille | Progressions | 2014L'ouvrage propose des pistes pour permettre aux enseignants d'amener les élèves à développer une méthode pour progresser en mathématiques.texte imprimé
