Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-1-56881-113-0
Lecture notes in logic , 0013
Localisation : Colloque 1er étage (PRAG)
logique # logique mathématique # logique symbolique
03-06
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 444 p.
ISBN 978-1-56881-170-3
Lecture notes in logic , 0015
Localisation : Colloque 1er étage (STAN)
logique # fondement des mathématiques # philosophie des mathématiques # théorie auto-adaptive # calcul # preuve # analyse théorique
00B25 ; 03-06 ; 00A30 ; 00B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 45 p.
ISBN 978-1-56881-049-2
Localisation : Ouvrage RdC (LEVY)
bible et deutéronome # effet domino # fabrication d'onde # fabrication du dehors-dedans # homotopie en ligne droite # lien entre les choses # loi du mouvement avec changement permanence # mathematica # meurtre sur express orienté # règle du jeu # régulier et décaf # silhouette de contour # théorie des corrugations # théorème de Whitney-Graustein # topologie # traversée du Jordain # village global # vérité # éversion de sphère
54-01 ; 54-XX ; 55Pxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 443 p.
ISBN 978-1-56881-054-6
Localisation : Ouvrage RdC (ECK)
calcul # calcul pratagé # calculateur # complexité des machines # graphe # intelligence artificielle # langage de programmation # programmation machine # routage
68M07 ; 68Mxx ; 68N05 ; 68N25 ; 68Nxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 239 p.
ISBN 978-1-56881-028-7
Localisation : Ouvrage RdC (ROWE)
action de groupe et ensemble # algèbre # anneau et corps # anneau et polynôme # application de la théorie des nombres # catégorie avec structure # classification de groupe # co-ensemble # construction à la règle et au compas # corps des fractions # corps fini # corps oblique # correspendance de Galois # extension de corps # groupe # groupe abélien fini # groupe de Galois # groupe de groupe # groupe monoïde # groupe résoluble # générateur de groupe # géométrie descriptive # homomorphisme # invariant # irréductibilité des polynômes # isomorphisme # matrice sur des anneaux # polynôme et domaine euclidien # produit direct # racine de polynôme # sous-groupe de Sylow # sous-groupe normal # théorie de la structure # théorie des catégories # théorème de Cauchy # théorème de Lagrange
action de groupe et ensemble # algèbre # anneau et corps # anneau et polynôme # application de la théorie des nombres # catégorie avec structure # classification de groupe # co-ensemble # construction à la règle et au compas # corps des fractions # corps fini # corps oblique # correspendance de Galois # extension de corps # groupe # groupe abélien fini # groupe de Galois # groupe de groupe # groupe monoïde # groupe résoluble # générateur de ...
18Dxx ; 20D35 ; 20Exx ; 20K01 ; 20M05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 160 p.
ISBN 978-1-56881-083-6
Localisation : Ouvrage RdC (MONA)
histoire des mathématiques # médails fields
00A05 ; 01A60 ; 01A80
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 242 p.
ISBN 978-1-56881-127-7
Localisation : Ouvrage RdC (CONW)
récréation mathématique # combinatoire # théorie des jeux # jeux à 2 personnes # jeu mathématique # nombre réel # nombre ordinal # jeu de stratégie # nombre suréel
00A08 ; 05-01 ; 91A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 276 p.
ISBN 978-1-56881-130-7
Localisation : Loisir RdC
récréation mathématique # jeu mathématique # loisir # théorie des jeux # jeu combinatoire # jeu de stratégie à deux personnes # jeu impartial
00A08 ; 91-02 ; 91A46
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 135 p.
ISBN 978-1-56881-172-7
Lecture notes in logic , 0014
Localisation : Ouvrage RdC (FAJA)
théorie des modèles # processus stochastique # modèle mathématique non-standard # logique inductive
60G07 ; 03B48 ; 03C98 ; 03H05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 616 p.
ISBN 978-1-56881-137-6
Localisation : Ouvrage RdC (COHE)
analyse numérique # modélisation géométrique # courbe de Bezier # spline # estimateur spline # approximation # approximation de forme # courbe # surface # interpolation # B-spline # algorithme
65D07 ; 65-02 ; 65D17 ; 65D10 ; 41A15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 358 p.
ISBN 978-1-56881-150-5
Localisation : Biographie RdC (MAC)
Saunders Mac Lane # biographie # histoire des mathématiques # théorie des catégories # logique # topologie algébrique # homologie
01A70 ; 03-03 ; 18-03
... Lire [+]