Description de l'informatique pour un grand public

• C'est quoi la programmation?
• Animation d'un algorithme de triangulation Le but de l'exercice est de construire un ensemble de triangle qui ne se recouvrent pas et dont les sommets sont porté par un ensemble de points fixés. En plus, on veut éviter les triangles trop plats. Les points sont ajoutés progressivement, puis les arêtes correspondant à des triangles trop plats (arêtes en rouge dans l'animation) sont pivotées.
• Un exemple de transaction financière et de preuve de correction. Dans cet exemple, on considère l'opération de transférer des fonds entre deux comptes. Il est possible de mal faire cette transaction, de telle sorte que la banque ou l'émetteur des fonds perde de l'argent. Nous montrons comment la preuve de programme permet d'éviter ce problème. Cet article est paru dans le numéro 256 de la revue Programmez!