En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Cori, René 3 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Cori, René

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

Expériences de narration de recherche en mathématiques Bérélovitch, Marie-Rose ; Brin, Philippe ; Bourgeois, Pierre ; Carles, Marie-Thérèse ; Chalons, Christophe ; Cori, René ; Deledicq, André ; Hallez, Maryvonne ; Moyon, Marc ; Proust, Christine ; Wulfman, Tamara ; Artigue, Michèle | IREM de Paris VII 2002

Brochure

Expériences de narration de recherche en mathématiques

Cote : IREM 2756
ISBN/ISSN : 2-876-94100 -7

recherche mathématique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

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

Logique mathématique : Cours et exercices, Vol. II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993

Monographie

Axiomes

Cote : CORI l II
ISBN/ISSN : 2-225-84080-6

logique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

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

Logique mathématique : Cours et exercices, Vol. I : Calcul propositionnel, algèbres de Boole, calcul des prédicats Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993

Monographie

Axiomes

Cote : CORI l I
ISBN/ISSN : 2-225-84079-2

logique

... Lire [+]

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun