Concepts en algorithmique implémentés en Pascal

Concepts en algorithmique implémentés en Pascal
Un article de Philippe Quet

Philippe Quet nous propose un premier article sur des concepts en algorithmique implémentés en Pascal :

http://philippe-quet.developpez.com/...algorithmique/

Les premiers concepts développés dans cet article sont :

• l'implémentation et manipulation de structures algébriques isomorphes à l'ensemble des entiers naturels N muni de lois ;
• l'implémentation des listes récursives ;
• la preuve de programme.

Retrouvez toutes les contributions de l'auteur (articles, codes sources) sur son domaine personnel.

Qu'en pensez-vous ?