Réflexion sur les programmes - Broché

par Gavin Lowe (Auteur)

Ce livre est basé sur l'expérience de l'auteur de 30 ans d'enseignement de la programmation à l'Université d'Oxford et est un excellent choix pour les cours de programmation de premier cycle offerts par les universités du monde entier. C'est un manuel rigoureux et soigneusement structuré, conçu pour doter les étudiants des fondements théoriques et des compétences pratiques essentiels dans le paysage actuel de la programmation. Il décrit comment aborder les programmes informatiques et comment utiliser les mathématiques dans cette approche. De nombreux livres et tutoriels en ligne enseignent les bases du codage : la syntaxe du langage et comment traduire un algorithme en code. Mais comment concevoir cet algorithme et savoir qu'il est correct ?

La première partie du livre examine les petits programmes qui utilisent une boucle, et comment démontrer leur exactitude à l'aide d'invariants de boucle. Elle couvre également certains algorithmes et techniques algorithmiques que tout programmeur devrait connaître. La seconde moitié du livre examine des programmes légèrement plus grands. Elle enseigne les bases de la modularisation, c'est-à-dire le découpage d'un programme en blocs gérables. Elle aborde les types de données abstraits, des valeurs au sein d'un programme qui peuvent être traitées comme des valeurs mathématiques : comment spécifier formellement leurs comportements ; et comment les traiter comme des objets mathématiques abstraits lors de la programmation. Elle enseigne également comment utiliser les structures de données pour représenter les types de données abstraits, et ce que signifie pour une telle représentation d'être correcte. Et elle présente quelques types de données abstraits et structures de données que tout programmeur devrait connaître. Le livre est pragmatique : la philosophie est d'inclure suffisamment de formalisme pour être convaincant et pour guider le programmeur vers un code correct, sans se perdre dans les mathématiques.

Chaque chapitre comprend des questions à la fin et un manuel de solutions pour ces exercices est disponible pour les instructeurs adoptant le livre. Le code source est également disponible en téléchargement sur le site web de l'auteur ou sur Github. Combinant clarté pédagogique et pertinence industrielle actuelle, Thinking About Programs guide les apprenants à travers les concepts fondamentaux de la programmation, la pensée algorithmique et les stratégies de résolution de problèmes tout en favorisant une compréhension approfondie de la logique computationnelle.