|
Titre :
|
Récursivité et dérécursification, preuves et complexivité d'algorithmes
|
|
Titre de série :
|
Langage Pascal et logique du premier ordre, 2
|
|
Auteurs :
|
Maurice Margenstern, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1990
|
|
Collection :
|
Logique, mathématiques, informatique
|
|
ISBN/ISSN/EAN :
|
978-2-225-81953-7
|
|
Format :
|
304 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.3
|
|
Mots-clés:
|
PASCAL (langage de programmation)
|
|
Résumé :
|
Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés.
|
