First commit

IUT/Info1/TD/Exercices/9.6_syracuse/9.6.md

@@ -0,0 +1,23 @@
+estPair : une fonction (x : n entier) -> un booléen
+Lexique : {Local à estPair}
+    vide
+Algorithme : {Local à estPair}
+    Retourner(x reste 2 = 0)
+
+syracuse_n : une fonction (n : un entier) -> n
+Lexique : {Local à syracuse_n}
+    u : un entier
+    i : un entier
+Algorithme : {Local à syracuse_n}
+    Début
+        i <- 0
+        u <- n
+        Tant Que i <= n
+            Si estPair(u)
+                u <- u/2
+                Sinon u <- 3*u+1
+            Fin Si
+        Retourner(u)
+    Fin
+
+temps_vol : une fonction ()