Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 343 p.
ISBN 978-0-521-45205-2
Encyclopedia of mathematics and its applications , 0060
Localisation : Collection 1er étage
arithmétique borné # calcul # complexité # logique # mathématique constructive # proposition logique # système de Frege # système de preuve optimal
03F50 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xvi; 247 p.
ISBN 978-0-521-15433-8
London mathematical society lecture note series , 0382
Localisation : Collection 1er étage
complexité # variable aléatoire # analyse mathématique # limite arithmétique # mesure de Loeb # arbre de décision
03F20 ; 03-02 ; 03C62 ; 03F30 ; 68Q17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiv; 516 p.
ISBN 978-1-108-41684-9
Encyclopedia of mathematics and its applications , 0170
Localisation : Collection 1er étage
complexité de calcul # variable aléatoire # complexité des preuves # analyse mathématique
03-02 ; 03F20 ; 68Q15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 428 p.
ISBN 978-0-19-853690-1
Oxford logic guides , 0023
Localisation : Ouvrage RdC (Arit)
arithmétique # arithmétique bornée # calcul symbolique # complexité du calcul informatique # mathématique discrète # théorie de la preuve
03D15 ; 03Fxx ; 68Q15 ; 68Q40 ; 68Rxx
... Lire [+]
