Récursivité et dérécursification, preuves et complexivité d'algorithmes
Serie :
Langage Pascal et logique du premier ordre. Vol 2
Collection(s) :
Logique, mathématiques, informatique
Paru le
01/01/1990 |
Broché 304 pages
30.30 €
Indisponible
Quatrième de
couverture
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.