All content for Informatique & pédagogie is the property of E. Desmontils and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Ce podcast propose un ensemble de ressources (audio, vidéo, présentation, etc.) autour de l'enseignement de l'informatique.
"Reasoned Programming" http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf (K. Broda + S. Eisenbach + H. Khoshnevisan + S. Vickers) Prentice Hall International Series in Computer Science (1994). ISBN 0-13-098831-6 Autre url: pdf Reasoned Programming montre comment appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.
Informatique & pédagogie
Ce podcast propose un ensemble de ressources (audio, vidéo, présentation, etc.) autour de l'enseignement de l'informatique.
