La programmation en C++ moderne

Apprenez la programmation de zéro jusqu'à l'infini !

• c++
• c++17
• c++20

Introduction à la preuve de programmes C avec Frama-C et son greffon WP

Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés.

• c
• méthodes formelles
• preuve déductive

Des bases de données en Python avec sqlite3

Comment stocker pour mieux régner

• python
• base de données

De la logique aux processeurs

Ou « comment passe-t-on des maths à un ordinateur ? »

• mathématiques
• logique

Que se passe-t-il lorsqu’on fait du pain ?

Un petit tour à l'intérieur du processus de panification, et de ses petits secrets

• cuisine
• pain