Titre original :
Effective Theories in Programming Practice
Contenu du livre :
La théorie des ensembles, la logique, les mathématiques discrètes et les algorithmes fondamentaux (ainsi que leur correction et l'analyse de leur complexité) resteront toujours utiles aux professionnels de l'informatique et doivent être compris par les étudiants qui veulent réussir. Ce manuel explique un certain nombre de ces algorithmes fondamentaux aux étudiants en programmation d'une manière concise, mais précise. Le livre inclut le matériel de base nécessaire pour comprendre les explications et pour développer de telles explications pour d'autres algorithmes.
L'auteur démontre que la clarté et la simplicité ne sont pas obtenues en évitant le formalisme, mais en l'utilisant correctement. Le livre est autonome et ne suppose qu'une formation en mathématiques de niveau secondaire et des compétences élémentaires en matière d'écriture de programmes. Il ne suppose aucune familiarité avec un langage de programmation spécifique.
En commençant par les concepts de base des ensembles, des fonctions, des relations, de la logique et des techniques de preuve, y compris l'induction, le cadre mathématique nécessaire pour raisonner sur la correction, la terminaison et l'efficacité des programmes est présenté avec des exemples à chaque étape. Le livre contient le développement systématique, à partir de théories appropriées, d'une variété d'algorithmes fondamentaux liés à la recherche, au tri, à l'appariement, aux problèmes liés aux graphes, à la méthodologie de programmation récursive et aux techniques de programmation dynamique, culminant dans les structures récursives parallèles.
Autres informations sur le livre :
| ISBN : | 9781450399715 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
