it "sorts a list" do
v = [3, 1, 2]
s = sort(v)
expect(s).to eq([1, 2, 3])
end
Slide 10
Slide 10 text
it "sorts a list" do
v = [3, 1, 2]
s = sort(v)
expect(s).to eq([1, 2, 3])
end
Slide 11
Slide 11 text
it "sorts a list" do
v = [3, 1, 2]
s = sort(v)
expect(s).to eq([1, 2, 3])
end
Slide 12
Slide 12 text
it "sorts a list" do
v = [3, 1, 2]
s = sort(v)
expect(s).to eq([1, 2, 3])
end
Slide 13
Slide 13 text
it "sorts a list" do
v = [3, 1, 2]
s = sort(v)
expect(s).to eq([1, 2, 3])
end
Slide 14
Slide 14 text
EXEMPLO
Slide 15
Slide 15 text
#sorts ascending
sorts an empty list
sorts a list with single item
sorts a list with multiple items
!
Finished in 0.00179 seconds
3 examples, 0 failures
Slide 16
Slide 16 text
PROPRIEDADE
Slide 17
Slide 17 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 18
Slide 18 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 19
Slide 19 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 20
Slide 20 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 21
Slide 21 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 22
Slide 22 text
∀ a, b → int, int
(a + b) = (b + a)
Slide 23
Slide 23 text
INVARIANTE
Slide 24
Slide 24 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 25
Slide 25 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 26
Slide 26 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 27
Slide 27 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 28
Slide 28 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 29
Slide 29 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 30
Slide 30 text
GERADORES
Slide 31
Slide 31 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
Slide 32
Slide 32 text
∀ v → vector int
each pair a, b in sort(v)
a <= b
v → []
v → [-1]
v → [2 -1 1 -1 -2 5]
v → [4]
v → [7 9 -4 -4]
…