Ce livre correspond au cours d’algorithmique et de programmation qui s’étend sur les deux premières années du premier cycle d’ingénieur de l’ESINSA, École Supérieure d’Ingénieurs de l’université de Nice-Sophia Antipolis. Les quinze premiers chapitres sont le cours de première année. Ils présentent les concepts de base de la programmation impérative, en s’appuyant sur une méthodologie objet. Ils mettent en particulier l’accent sur la notion de preuve des programmes grâce à la notion d’affirmations (antécédent, conséquent, invariant) dont la vérification formelle garantit la validité de programmes. Ils introduisent aussi la notion de complexité des algorithmes pour évaluer leur performance. Les dix derniers chapitres correspondent au cours de deuxième année. Ils étudient en détail les structures de données abstraites classiques et un certain nombre d’algorithmes fondamentaux que tout étudiant en informatique doit connaître et maîtriser....
vendredi 11 avril 2014
- Blogger Comments
- Facebook Comments
Inscription à :
Publier les commentaires (Atom)
0 commentaires:
Enregistrer un commentaire