ISETL - Boucle While et boucle For
Interactive SET Language (ISETL) est un langage de programmation basé sur SETL. Développé par Garry Levin en 1988, il avait pour finalité l’enseignement des mathématiques discrètes à l’université. Cet article est à destination des étudiants voulant apprendre à rédiger des boucles While et For en ISETL.
This article has been written by Robin Pourtaud ([email protected]) and published on July 27, 2020.
The content of this article is licensed under CC BY
NC 4.0 : You can freely share and adapt the content for non-commercial purposes as long as you give
appropriate credit and provide a link to the license. In my case, the link to the original article is enough.
Confidentiality if relevant: https://devmath.fr/page/confidentialite/
Boucle While
Définition :
Une boucle “While”, ou boucle “Tant Que” permet de répéter l’exécution d’une portion de code tant qu’une condition est “Vrai”.
En ISETL, une boucle “While” se rédige de cette façon :
Exemple :
On veut se compliquer la vie et afficher 3 fois “true” avec une boucle “While” :
x := true;
i := 0;
while x do
i:=i+1;
print(x);
if i > 2 then
x:=false;
end if
end while;
Boucle While ISETL
Boucle For
Définition :
Une boucle “For” est un type de boucle While se servant d’un compteur et d’une condition tel que ce compteur ne doit pas rendre cette condition fausse.
En ISETL, une boucle For se rédige de cette façon :
for <variable> in <tuple> do
<code>
end for;Exemple :
On veut afficher tous les carrés des éléments de 0 à 9 d’un tuple :
E:=[0..9];
for i in E do print(i**2);
end for;
Carrés des valeurs d'un tuple