m

F Nous contacter

0

Documents  Margenstern, Maurice | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 287 p.
ISBN 978-2-225-81900-1

Logique mathématiques informatique , 0003

Localisation : Ouvrage RdC (MARG)

Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 247 p.
ISBN 978-2-225-82500-2

Manuels informatiques masson

Localisation : Ouvrage RdC (MARG)

arithmétique multi-précision # assemblage # constructeur # factorielle # fonction d'Ackermann # fonction récursive # instruction du 80X86 # langage d'assemblage du processeur 80x86 # machine de Von Neumann # modélisation # nombre de Fibonacci # programmation # registre et mémoire vive # structuration d'un programme # système d'exploitation # théorie des nombres # tours d'Hanoï

68M99 ; 68N25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 220 p.
ISBN 978-2-7465-0775-3

Impromptus

Localisation : Loisir RdC

géométrie hyperbolique # Eléments d'Euclide # histoire des mathématiques # vulgarisation

51-01 ; 51M09 ; 51-03 ; 01A20

... Lire [+]

Z