Informations générales
Ce cours couvrait différents aspects de la programmation : du λ-calcul, de la preuve de programme en logique de Hoare, de la programmation orientée objet C++, des aspects mathématiques comme la récurrence, des machines élémentaires (Turing, von Neumann)…
Quelques TD rescapés
- Gloire à Alonzo Church pour son λ-calcul;
- Gloire à Sir Charles Antony Richard Hoare pour sa fameuse logique permettant de prouver des programmes. Pour vous exercer voici quelques programmes à prouver en logique de Hoare;
- Gloire à János Neumann de Margitta, dit John von Neumann pour ses machines. De quoi s’exercer…
- la manipulation des récurrences est un exercice essentiel aux informaticiens, voici donc de quoi travailler un peu la question : exercices.
