m

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

Documents  proposition | enregistrements trouvés : 10

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.

Sur les fondements de la mathématique : fragments (discussions préalalbles, méréologie, ontologie) Lesniewski, Stanislaw. -Paris, 2 : Hermès , 1989 . - 148 p. ; 23 cm


IremOuvrage

fondement des mathématiques ; logique ; axiomatique ; proposition ; méréologie ; entologie

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

Le théorème de Gödel : Un Thèorème fondamental de la logique mathématique Cesar, Jean. -Besançon : IREM de Besançon , 1980 . - 31 p. ; 30 cm


IremOuvrage

théorème ; Gödel ; non-contradiction ; proposition ; incomplétude ; arithmétique ; logique

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

Initiation à la logique mathématique Jeremy, Louis. -Poitiers : IREM de Poitiers , 1980 . - 198 p. ; 30 cm


IremOuvrage

logique ; formalisation ; interprétation ; proposition ; calcul ; démonstration ; égalité

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

Liaison mathématique - physique : logique Caullot, Gérard ; Roguet, Marie-Madeleine. -Reims : IREM de Reims , 1978 . - 45 p. ; 29 cm


IremOuvrage

physique ; logique ; Boole ; proposition

... 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 Echivard, Michel. -Dijon : IREM de Dijon , 1976 . - 28 p. ; 30 cm


IremOuvrage

logique ; langage ; proposition

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

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

Premier cycle, première année : Plans de travail -Montpellier : IREM de Montpellier , 1974 . - 86 p. ; 30 cm


IremOuvrage

collège ; logique ; proposition ; déduction

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