Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 461-801
Cote : 00028598
récréation mathématique # loisir # jeu mathématique # jeu combinatoire
91A46 ; 00A08 ; 05-02 ; 91A24
Localisation : Ouvrage RdC (BERL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 801-1004
Cote : 00028597
récréation mathématique # loisir # jeu mathématique # jeu combinatoire # jeu à 1 joueur # solitaire # puzzle
00A08 ; 91A24 ; 00A69
Localisation : Ouvrage RdC (BERL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 250 p.
Cote : 00028602
arithmétique # divertissement # géométrie # jeu # palindrome # pavage # problème # théorie des nombres
97A20 ; 00A08 ; 11Gxx ; 52C20
Localisation : Enseignement RdC (SALL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 172 p.
Cote : 00028759
logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel
03-01 ; 03F30 ; 03F40
Localisation : Ouvrage RdC (TORK)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 378 p.
Cote : 00028770
polynôme # anneau associatif # identité polynômiale # variété d'anneau # analyse combinatoire # théorème de Shirskov # solution de Kemer de la conjecture de Specht # série de Poincaré-Hilbert # dimension de Gelfand-Kirilov # identité trace
16R10 ; 16R30 ; 16-02 ; 16P90 ; 16W55 ; 16N20 ; 15A75
Localisation : Ouvrage RdC (KANE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 361 p.
Cote : 00028769
Kurt Gödel # histoire des mathématiques # biographie # logique # bibliographie
03-03 ; 01A70 ; 03-02 ; 01A60
Localisation : Biographie RdC (GODE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 270 p.
Cote : 00023995
analyse numérique # calcul formel # informatique # algèbre # opérateur logique # résolution automatique de théorie # algèbre calculatoire # raisonnement automatis
68-06 ; 03B35 ; 68T15 ; 68W30
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 142 p.
Cote : 00024569
algèbre commutative # série régulière # séquence régulière # calcul # idéal # polynôme # espace projectif # théorie d'intersection # élimination # extention de Kronecker
13-02 ; 13A99 ; 13P10
Localisation : Ouvrage RdC (SCHE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 306 p.
Cote : 00024585
informatique # analyse numérique # calcul graphique # calcul formel # représentation de fonction # représentation mathématique # interpolation # approximation par polynôme # intégration # zéro de fonction # résolution de problème
68-01 ; 65-01 ; 68U05 ; 68T20 ; 41A05 ; 41A10
Localisation : Ouvrage RdC (FIUM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 330 p.
Cote : 00025838
ondelette # histoire des mathématiques # 2Oè siècle # mathématique appliquée # analyse de Fourier
00A69 ; 01A60 ; 42C15
Localisation : Ouvrage RdC (HUBB)