m

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

Documents  prédicat | enregistrements trouvés : 9

O
K L Q M | g | F x r
     

-A +A

P Q

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

Activités concernant les stuctures logiques élémentaires pour l'école maternelle. Fasc. 1 : la catégorisation groupe formateur IUFM du site d'Angers, professeurs des écoles mîatres fomateurs, enseignantes du Maine et Loire. -Nantes : IREM de Nantes , 2009 . - 42 p. ; 29 cm
ISBN 9782863000335
http://numerisation.univ-irem.fr/NA/INA09302/INA09302.pdf


IremOuvrage

catégorisation ; ensemble ; quantification ; prédicat

... 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.

Gödel Cassou-Noguès, Pierre. -Paris : Les Belles Lettres , 2004 . - 190 p. ; 21 cm
ISBN 9782251760407


IremOuvrage

Gödel ; logique ; prédicat ; continuité ; Cantor

... 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.

Fondements des mathématiques 2 Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan , 2001 . - 624 p. ; 24 cm


IremOuvrage

fondement des mathématiques ; variable ; preuve ; théorie des nombres ; logique ; prédicat

... 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.

Fondements des mathématiques 1 Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan , 2001 . - 607 p. ; 24 cm
ISBN 9782747515184


IremOuvrage

fondement des mathématiques ; logique ; philosophie ; récursivité ; arithmétique ; axiomatique ; théorie des nombres ; raisonnement ; prédicat

... 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.

Statut logique des énoncés dans la classe de mathématiques : Eléments d'analyse pour les enseignants Durand-Guerrier, Viviane ; et al.. -Lyon : IREM de Lyon , 2000 . - 117 p. ; 30 cm


IremOuvrage

énoncé ; logique ; prédicat ; variable ; négation ; implication ; quantification ; équation ; rédurrence

... 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 Fuchs, Aimé ; Reeb, Georges. -Strasbourg : Institut de recherche mathématique avancée , 1986 . - 317 p. ; 29 cm


IremOuvrage

logique ; proposition ; prédicat ; système formel

... 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 pour l'enseignement Houdebine, J.. -Rennes : IREM de Rennes , 1975 . - 58 p. ; 30 cm


IremOuvrage

logique ; Boole ; proposition ; prédicat

... 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.

Une Introduction à la logique Durand-Bossche, Van den. -Nantes : IREM de Nantes , 1975 . - 152 p. ; 30 cm


IremOuvrage

logique ; proposition ; prédicat

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Logique et raisonnement mathématique : défense et illustration de la pertinence du calcul des prédicats pour une approche didactique des difficultés liées à l'implication Durand-Guerrier, Viviane. -Lyon : Université de Lyon I , 1996 . - 291 + 62 p. ; 30 cm


IremThèse

didactique des mathématiques ; logique ; prédicat ; implication

... 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