m

Documents  Krajicek, Jan | enregistrements trouvés : 3

O
     

-A +A

P Q

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.

- 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.

- 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