Notes de cours

t a b
t.(a..b)
t.(3..5)
a > b t.(a..b)
t(a, b)
x
i[[a, b]]
t.(i) = x x ∈t.(a..b)
t8∈t.(4..7) 7 ∈t.(0..5)
i[[a, b]] t.(i)6=x x /∈t.(a..b)
t9/∈t.(0..7)
8/∈t.(0..3)

t a b x
x t.(a..b)
x t.(a..b)i
x t.(a..b)
x t.(a..b)
x
0a array →int →int →0a→bool
0a array →int →int →0a→int
bool ∗int
x
t0a array →int →int →0a→int
x
t.(a..b)
x
x x
n c(n)
n

t a b x
x∈t.(a..b)
trouve := faux
k≤b t.(k)6=x
trouve ⇐⇒ x∈t.(a..k −1)
t.(k) = x
trouve := vrai
trouve ⇐⇒ x∈t.(a..k)
trouve ⇐⇒ x∈t.(a..b)
trouve
x
x
k[[a, b]]
t.(a..k −1) x x /∈t.(a..k −1)
t.(k) = x
t.(k)<> x x /∈t.(a..k)
c(n)
t.(a..b)n

t a b x
x∈t.(a..b)
k:= a
x /∈t.(a..k −1)
k≤b t.(k)6=x
x /∈t.(a..k)
k
x /∈t.(a..k −1)
k > b x /∈t.(a..b)k≤b t.(k) = x
k≤b
k t.(k) = x
t a b x
x∈t.(a..b)
a≤b
k:= a
x /∈t.(a..k −1)
k < b t.(k)6=x
x /∈t.(a..k)
k x /∈t.(a..k −1)
k=b x /∈t.(a..b −1) k < b t.(k) = x
t.(k) = x
k t.(k) = x

t.(a..b)x x =t.(a)
x /∈t.(a..b)
x
x /∈t.(a..b −1) x=t.(b)
n
n
≤
x x ≤x
(x, y)x≤y y ≤x x =y
(x, y, z)x≤y y ≤z x ≤z
(x, y)x≤y y ≤x
<=<=0a→0a→bool
int char string float <=
#1<=3;;
- : bool = true
#4<=3;;
- : bool = false
#"bleu" <= "rouge";;
- : bool = true
#’a’<=’e’;;
- : bool = true
#’Z’<=’a’;;
- : bool = true
#1.0 <= 1.000001;;
- : bool = true
#1<="deux";;
Characters 2-8:
1<="deux";;
^^^^^^
This expression has type string but is here used with type int