Premiers types pré-définis

integer

type qui modélise les nombres entiers.
Constantes: 1, 248, -4, etc.
Opérateurs: + (addition), - (soustraction), * (multiplication) et / (division).

character

modélise les caractères ASCII.
Constantes: `a`, `2`, `@` ...
Opérations: character'val(c) donne le code ascii d'un caractère c.

bool

modélise les valeurs de vérité dans la logique propositionnelle ou booléenne.
Constantes: Les deux seules contantes sont true et false.
Opérateurs: opérateurs logiques de conjonction and, de disjonction or et de négation not. L'opération a and b renvoie true si a et b ont la valeur true, autrement elle renvoie false. L'opération a or b renvoie true si au moins un parmi a et b ont la valeur true. Il renvoie false si les deux ont la valeur false. L'opération not(a) renvoie true si a est false et false sinon.

Exercice: Quels sont les résultats renvoyés par les opérations suivantes? Expliquez les erreurs sémantiques.

• 1 + 3 * 4

• 1 + (3*4)

• (1+3) * 4

• (1+3) * true

• true or false

• true and false

• true and not(false)

• not(true and false)

Les opérateurs de comparaison

Permettent de comparer deux valeurs ou expressions de même type et renvoient en résultat une valeur booléenne.

=

``égalité''. Renvoie true si les deux valeurs comparées sont égales, false sinon. Exemple: 1=4 renvoie false, 'a'='a' renvoie true

<

``est plus petit que''. Renvoie true si la première valeur est strictement plus petite que la deuxième, false sinon. Exemple: 1<4 renvoie true, 'a' < 'b' renvoie true (ordre entre caractères ascii).

>

``est plus grand que''. Renvoie true si la première valeur est strictement plus grande que la deuxième, false sinon. Exemple: 1>4 renvoie false.

>=

``est plus grand ou égal que''. Renvoie true si la première valeur est plus grande ou égale que la deuxième, false sinon. Exemple: 1 >= 1 renvoie true, 'a' >= 'b' renvoie false.

<=

``est plus petit ou égal que''. Renvoie true si la première valeur est plus petite ou égale que la deuxième, false sinon.

/=

``différent à''.

Exercice: Quelles sont les résultats renvoyés par les comparaisons suivantes? S'il s'agit d'une opération sémantiquement incorrect, expliquez pourquoi.

• 1 > 3 * 4

• 1 > (3*4)

• 1 + (3 > 4)

• (1+3) <= 4

• (1 > 3) or (1 <= 3)

• (1 > 3) and (1 <= 3)