m

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

Documents  logique mathématique | enregistrements trouvés : 98

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.

L'art du raccourci : ou comment mieux penser du Sautoy, Marcus ; Trad. Clarinard, Raymond. -Paris : Editions Héloïse d'Ormesson , 2023 . - 383 p. ; 21 cm
ISBN 9782350878829


IremOuvrage

abstraction ; logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Mathématiques à travers les siècles. Tome III : Vers les mathématiques d'aujourd'hui : analyse fonctionnelle, nouvelles algèbres et géométries, statistique et logique Garcia, Michel. -Paris : Calvage et Mounet , 2023 . - IV-760 p. ; 24 cm
ISBN 9782493230171


IremOuvrage

histoire de la géométrie ; histoire des statistiques ; logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Logique : fondements et applications Le Barbenchon, Pierre ; Pinchinat, Sophie ; Schwarzentruber, François. -Malakoff : Dunod , 2022 . - 286 p. ; 24 cm
ISBN 9782100821587


IremOuvrage

logique mathématique ; manuel

... Lire [+]

|

Favoris

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

  • Aucun favori créé

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 , 2017 . - 222 p. ; 20 cm
ISBN 9782746509108


IremOuvrage

axiomatique ; histoire des mathématiques ; logique mathématique ; informatique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

100 énigmes logiques et mathématiques du temps du certificat d'études : problèmes de cours d'école, intrigues de salle de classe et aventures au réfectoire à résoudre par le calcul et le raisonnement Lebrun, Sandra ; Audrain, Loïc. -Paris : jeu logique , 2016 . - 63 p. ; 22 cm
ISBN 9782035925213


IremOuvrage

logique mathématique ; divertissement ; jeu logique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Petites énigmes mathématiques et logiques Stewart, Ian N. ; Trad. Courcelle, Olivier. -Paris : Librio , 2016 . - 92 p. ; 21 cm
ISBN 9782290100769


IremOuvrage

logique mathématique ; jeu

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Les démonstrations : l'art de convaincre Dir. Cohen, Gilles. -Paris : Pole , 2015 . - 162 p. ; 24 cm
ISBN 9782848841984


IremOuvrage

démonstration ; raisonnement logique ; raisonnement mathématique ; logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Initiation à la logique formelle : avec exercices et corrigés Lucas, Thierry ; Berlanger, Isabelle ; Degauquier, Vincent. -Bruxelles : De Boeck Université , 2014 . - 263 p. ; 24 cm
ISBN 9782804182489


IremOuvrage

logique mathématique ; manuel ; enseignement supérieur ; exercice corrigé

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Preuves sans mots : exercices de mathématiques visuelles Nelsen, Roger B. ; Préf. Delahaye, Jean-Paul ; Trad. Levy-Leblond, Jean-Marc. -Paris : Hermann , 2013 . - 276 p. ; 24 cm
ISBN 97822705684662


IremOuvrage

logique mathématique ; méthode graphique ; exercice

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

La logique, un aiguillon pour la pensée Delahaye, Jean-Paul. -Paris : Belin , 2012 . - 199 p. ; 25 cm
ISBN 9782842451158


IremOuvrage

logique mathématique ; philosophie

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Enseigner la démonstration au collège Barichard, Alain ; Crumière, Anne ; Fleury, Marie-Renée ; et al.. -Marseille : IREM de Marseille , 2012 . - 132 p. ; 30 cm


IremOuvrage

démonstration ; raisonnement ; logique mathématique ; preuve ; rédaction

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Logic and its applications Ed. Blass, Andreas ; Ed. Zhang, Yi. -Providence RI : American mathematical Society , 2005 . - vi, 306 p. ; 26 cm
ISBN 9780821834749


MathCongrès

logique ; logique mathématique ; modèle non standard ; espace nucléaire ; théorie des ensembles ; ultrafiltre ; définissabilité

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Mathematical logic and applications Ed. Shinoda, J. ; Ed. Slaman, T.A. ; Ed. Tugue, T.. -Berlin : Springer , 1989 . - 222
https://doi.org/10.1007/BFb0083663


MathCongrès

récursion ; logique mathématique ; théorie des ensembles ; modèle non standard

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Methods and applications of mathematical logic Ed. Carnielli, Walter A. ; Ed. Alcantara, L.P. De. -Providence RI : American mathematical Society , 1988 . - xi, 250


MathCongrès

logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Algebra, mathematical logic, number theory, topology : collection of survey papers 1 on the 50th anniversary of the institute Ed. Vinogradov, Ivan Matveevic ; Ed. Adian, Sergei I. ; Ed. Mishchenko, Evgenii F. ; Ed. Shafarevich, Igor R.. -Providence RI : American mathematical Society , 1986 . - vii, 267


MathCongrès

logique symbolique ; logique mathématique ; théorie des nombres ; topologie

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Methods in mathematical logic Ed. Di Prisco, C.A.. -Berlin : Springer , 1985 . - vii, 407
https://doi.org/10.1007/BFb0075303


MathCongrès

logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Logic symposia Hakone 1979, 1980. Proceedings of conferences held in Hakone, Japan, march 21-24, 1979 and february 4-7, 1980 Ed. Muller, G. H. ; Ed. Takeuti, Gaisi ; Ed. Tugue, T.. -Berlin : Springer , 1981 . - xii, 394
https://doi.org/10.1007/BFb0090974


MathCongrès

logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Mathematical logic in latin america Ed. Arruda, A.I. ; Ed. Chuaqui, R. ; Ed. Da Costa, N.C.A.. -Amsterdam : North-Holland , 1980 . - xii, 392


MathCongrès

logique mathématique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Applications of sheaves Ed. Fourman, M.P. ; Ed. Mulvey, C. J. ; Ed. Scott, D. S.. -Berlin : Springer , 1979 . - xiv, 779
https://doi.org/10.1007/BFb0061811


MathCongrès

topologie algébrique ; faisceau ; logique mathématique ; algèbre

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

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

Mathematical logic Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -New York : Marcel Dekker , 1978 . - xii, 303


MathCongrès

logique mathématique ; logique symbolique

... Lire [+]

|

Favoris

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

  • Aucun favori créé

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z
Close
PreviousNext
PreviousMaximize
Next