m

Documents  Krajicek, Jan | enregistrements trouvés : 4

O
     

-A +A

P Q

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 [+]

Z