m

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

Documents  théorie de la démonstration | enregistrements trouvés : 8

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.

Itération et récurrence : des suites pour démontrer -Paris : Pole , 2021 . - 154 p. ; 24 cm
ISBN 9782848842424


IremOuvrage

suite récurrente ; théorie de la démonstration

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

La logique, pas à pas Duparc, Jacques. -Lausanne : Presses polytechniques et universitaires romandes , 2015 . - 570 p. ; 24 cm
ISBN 9782889151264


IremOuvrage

calcul propositionnel ; modalité ; logique ; théorie de la démonstration ; vulgarisation

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

Explanation and proof in mathematics : philosophical and educational perspectives Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer , 2010 . - VIII-294 p. ; 24 cm
ISBN 9781441905758


IremOuvrage

théorie de la démonstration ; philosophie des mathématiques ; théorie de la preuve

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

Les métamorphoses du calcul : une étonnante histoire de mathématique Dowek, Gilles. -Paris : Le Pommier , 2007 . - 223 p. ; 20 cm
ISBN 9782746503243


IremOuvrage

calcul ; histoire des mathématiques ; démonstration ; théorie de la démonstration

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Sets and proofs : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997 Ed. Cooper, S. Barry ; Ed. Truss, John K.. -Cambridge : Cambridge university Press , 1999 . - ix, 436 p. ; 23 cm


MathCongrès

logique ; théorie de la démonstration

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Interactive models of computation and program behavior Curien, Pierre-Louis ; Herbelin, Hugo ; Krivine, Jean-Louis ; Melliès, Paul-André. -Paris : Société mathématique de France , 2009 . - xvi, 275 p. ; 24 cm
ISBN 9782856292730
https://smf.emath.fr/les-publications?field_publication_collection[]=160&field_type_of_publication[]=123


MathOuvrage

théorie de la démonstration ; réalisabilité ; machine abstraite ; logique linéaire ; sémantique

... 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 logique : théorie de la démonstration David, René ; Nour, Karim ; Raffalli, Christophe. -Paris : Dunod , 2003 . - xiii, 342 p. ; 24 cm
ISBN 9782100067961


MathOuvrage

logique ; théorie de la démonstration

... 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çons de mathématiques d'aujourd'hui. Vol. 2 : Gilles Godefroy, Jean-Yves Girard, Gérald Tenenbaum, François Morain, Michel Waldschmidt, Guy David, Claude Bardos, Max Karoubi, Jean-Marc Fontaine, Marc Hindry, Michel Raynaud, Michael Keane Ed. Charpentier, Eric ; Ed. Habsieger, Laurent ; Ed. Nikolski, Nicolaï K. ; et al.. -Paris : Cassini , 2003 . - xvii, 360 p. ; 19 cm
ISBN 9782842250584


MathOuvrage

Exposés présentés à l'Ecole doctorale de mathématiques et informatique de Bordeaux, 1993-2001

théorie de la démonstration ; cryptographie ; fonction modulaire ; intégrale singulière ; théorie du signal ; cohomologie ; p-adique ; géométrie diophantienne ; courbe algébrique ; groupe fondamental ; marche aléatoire ; indécidabilité ; nombre normal

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