Différences

Ci-dessous, les différences entre deux révisions de la page.

--- tc_info:2020_cpp_1-2 [2020/10/01 09:47] – pprea
+++ tc_info:2020_cpp_1-2 [2020/10/01 09:47] (Version actuelle) – pprea
@@ Ligne 1: / Ligne 1: @@
+On peut utiliser comme opération de base le "successeur":  $succ(x) := x + 1$
+[[2020_cpp_1-2-1|Solution]]