ISETL - Fonctions Mathématiques

Prérequis :

Il est bien sur nécessaire d’avoir accès à un interpréteur ISETL sur votre ordinateur. Si ce n’est pas le cas, je vous renvoie vers mon article : ISETL 3.0 sur Windows 10

Liste de fonctions mathématiques ISETL :

Soit $x$ et $y$ , deux réels quelconques :

Fonction ISETL	Fonction mathématiques
abs(x)	$\lvert x \rvert$
exp(x)	$e^x$
ceil(x)	$\lceil x \rceil$
floor(x)	$\lfloor x \rfloor$
ln(x)	$\ln x$
log(x)	$\log x$
max(x,y)	$\max (x,y)$
min(x,y)	$\min (x,y)$
sgn(x)	$\begin{cases}1\text{ si }x>0\cr0\text{ si }x=0\cr-1\text{ si }x<0\end{cases}$
sqrt(x)	$\sqrt{x}$

NB : Il ne faut pas oublier qu’ISETL est utilisé habituellement sur des ensembles finis, comme pour l’exemple suivant :

Fonction Mathématique en ISETL

Un ensemble fini ne possède pas une notation unique :

Sans relation d’ordre : $\{-6,-5\}=\{-5,-6\}$ .
La répétition d’éléments entre les accolades ne modifie pas non plus l’ensemble : $\{-5,-5\}=\{-5\}$ .

C’est pourquoi, dans l’exemple ci-dessus, $E = \{-1,0,1\}$ et non $\{-1,-1,0,1\}$ .