Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 287 p.
Cote : 00017469
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
Localisation : Ouvrage RdC (MARG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 247 p.
Cote : 00017849
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
Localisation : Ouvrage RdC (MARG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 220 p.
Cote : 00039321
géométrie hyperbolique # Eléments d'Euclide # histoire des mathématiques # vulgarisation
51-01 ; 51M09 ; 51-03 ; 01A20
Localisation : Loisir RdC
English