Elé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é [...]
[lire le résumé du livre]
Auteur : Romain DEMANGEON , Frédéric PESCHANSKI
Editeur : Ellipses
Collection : Références sciences
Date parution : 09/2020CB Google/Apple Pay, Chèque, Virement
Quel est le sujet du livre "Eléments de programmation"
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.
Auteurs :Préfacier Auteur Auteur 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 à 1a 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 Eléments de programmation 1 de Sorbonne Université. II s'intéresse aux méthodes formelles, à l'analyse statique et aux systèmes de types pour la validation des programmes concurrents.
En suivant ce lien, retrouvez tous les livres dans la spécialité Techniques de programmation.