ISETL - Conditions If, ElseIf, Else
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 conditions en ISETL.
This article has been written by Robin Pourtaud ([email protected]) and published on July 26, 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/
If, ElseIf et Else
En informatique, un “Si” permet d’exécuter une partie de code conditionnellement.
Par exemple, prenons une variable x.
Si x > 5, alors on souhaite afficher "nombre > 5",
Sinon Si x = 5, alors afficher "nombre = 5",
Sinon, "nombre < 5".
En ISETL, une structure conditionnelle se rédige de la façon suivante :
if (condition) then ....
elseif (condition) then .....
else .....
end if;
Comme vous pouvez le voir, le “else” ne requiert pas de “then”.
En reprenant notre exemple, nous avons donc
x:=10;
if (x<5) then
print("Nombre < 5");
elseif (x = 5) then
print("Nombre = 5");
else
print("Nombre > 5");
end if;
ISETL ne prenant pas en compte l’indentation, il est aussi possible de rédiger ce code de cette façon :
x:=10;
if (x<5) then print("Nombre < 5");
elseif (x = 5) then print("Nombre = 5");
else print("Nombre > 5");
end if;
Rédaction de conditions
Je vous propose un tableau récapitulatif présentant tous les opérateurs nécessaires à la rédaction de conditions en ISETL :
x et y étant des nombres, A ou B étant des propositions.
Opérateur ISETL | Description |
x=y | x est égal à y |
x\=y | x n'est pas égal à y |
x<y | x est inférieur à y |
x<=y | x est inférieur ou égal à y |
x>y | x est supérieur à y |
x>=y | x est supérieur ou égal à y |
A or B | Disjonction logique : A ou B |
A and B | Conjonction logique : A et B |
A impl B | Implication logique : A implique B |
not A | Négation logique : Non A |
Nota Bene
Il faut bien prendre en compte que la condition d’égalité en ISETL s’écrit avec un seul “égal” contrairement au python, c++, java…. L’affectation en ISETL étant “:=”.