m

Bibliothèques de mathématique et de l'IREM

Documents  quantificateur | enregistrements trouvés : 9

O
K L Q M | g | F x r
     

-A +A

P Q

IremCongrès
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Actes du séminaire national de didactique des mathématiques. Année 2006 Ed. Gueudet-Chartier, Ghislaine ; Ed. Matheron, Yves. -Paris : IREM de Paris 7 ; ARDM , 2006 . - 368 p. ; 29 cm
ISBN 9782866122843


IremCongrès

didactique des mathématiques ; théorie anthropologique ; théorie des situations ; formation des enseignants ; pratique des enseignants ; statistique ; quantificateur ; tableur ; logiciel de géométrie dynamique ; ZEP

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

IremOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

De la Terminale à la fac : langage et exigences en mathématiques -Rennes : IREM de Rennes , 2005 . - 84 p. ; 30 cm
https://publimath.univ-irem.fr/numerisation/RN/IRN05001/IRN05001.pdf


IremOuvrage

langage ; liaison lycée-université ; démonstration ; quantificateur ; implication ; inégalité ; lycée ; université

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Quelques éléments de logique en classe de première -Besançon : IREM de Besançon , 1996 . - 18 p. ; 30 cm
https://publimath.univ-irem.fr/numerisation/BC/IBC96017/IBC96017.pdf


IremOuvrage

logique ; première ; implication ; équivalence ; quantificateur ; raisonnement

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique : Conférence de Jean Frenkel à l'IREM de Strasbourg Buisson, Pierre. -Strasbourg : IREM de Strasbourg , 1971


IremOuvrage

logique ; proposition ; quantificateur

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique et enseignement de la mathématique Gauthier, R. ; Gouret, A.. -Paris : OCDL ; Hatier , 1971 . - 96 p. ; 22 cm


IremOuvrage

logique ; déduction ; négation ; quantificateur ; enseignement ; démonstration ; récurrence

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Introduction à la théorie des ensembles Durand-Bossche, Van den. -Nantes : IREM de Nantes , 1975 . - 297 p. ; 30 cm


IremOuvrage

théorie des ensembles ; relation ; quantificateur

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique et équations -Caen : IREM de Caen , 1974 . - 46 p.


IremOuvrage

logique ; équation ; problème ; résolution de problème ; quantificateur

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lexique alphabétique du vocabulaire des ensembles -Strasbourg : IREM de Strasbourg , 1970 . - 45 p. ; 29 cm


IremOuvrage

lexique ; ensemble ; quantificateur ; groupe ; anneau ; morphisme

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

MathPrépublication
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

A Measure theoretic approach to logical quantification Ellerman, David P. ; Rota, Gian-Carlo. -Strasbourg : Institut de recherche mathématique avancée , 1979 . - 34 p. ; 29 cm


MathPrépublication

algèbre de Boole ; anneau de valuation ; quantificateur

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z