Eléments de programmation : de l’algorithme au programme Python

Fiche technique

Format : Broché
Nb de pages : X-358 pages
Poids : 704 g
Dimensions : 19cm X 24cm
Date de parution :
ISBN : 978-2-340-04106-6
EAN : 9782340041066

Eléments de programmation

de l’algorithme au programme Python

de ,

chez Ellipses

Collection(s) : Références sciences

Paru le | Broché X-358 pages

Licence

34.00 Disponible - Expédié sous 8 jours ouvrés
Ajouter au panier

Quatrième de couverture

Éléments de programmation

De l'algorithme au programme Python

Ce livre aborde les concepts fondamentaux de la programmation dans le contexte d'une méthodologie rigoureuse de développement logiciel. La spécification précise des problèmes posés et la conception algorithmique permettant de les résoudre occupent une place aussi importante que la programmation proprement dite des solutions, de même que la validation de ces programmes par le test.

Basé sur le cours d'introduction à la programmation pour les étudiants de licence de première année scientifique de Sorbonne Université, cet ouvrage ne demande aucun prérequis de programmation et peut donc tout à fait être abordé par des étudiants de première et de terminale, ainsi que toute personne intéressée par les concepts de fondamentaux de résolution de problèmes et de programmation. Les programmes du livre sont rédigés dans le langage Python (version minimale 3.6) en exploitant les annotations de type et optionnellement l'outil MyPy. Un environnement simplifié de programmation, MrPython, est également proposé en complément de l'ouvrage, et disponible gratuitement.

Biographie

Frédéric Peschanski est maître de conférences à Sorbonne Université et chercheur en informatique au laboratoire LIP6. Il enseigne essentiellement la programmation, de la licence au master, et s'intéresse beaucoup à la validation des programmes, c'est-à-dire les techniques permettant de garantir qu'un logiciel réalise correctement la tâche pour laquelle il a été programmé.

Romain Demangeon est enseignant-chercheur au LIP6 et responsable du cours Éléments de programmation I de Sorbonne Université. Il s'intéresse aux méthodes formelles, à l'analyse statique et aux systèmes de types pour la validation des programmes concurrents.