Reading, Writing and Proving

(Calculus)

2016618

Ruby

A B not A
(

max min

sup, inf

sup(3,4] = max(3,4] = 4
inf(3,4] = 3 min(3,4] (3mininf)

mininf

2016618

Ruby


51/3

2016618

Ruby


51/3 = q/p
gcd(p,q) = 1
5 = p 3 / q3
5 q3 = p 3
q5p
gcd(p,q) 1
51/3 q/p

2016618

Ruby

12

2016618

Ruby

6 7 8 9 10 11 12

6 7 8 9 10 11 12

1 2 3 4 5 6 7 8 9 10 11 12
3

2016618

Ruby

12

2016618

Ruby

Reading, Writing, and Proving

2016618

Ruby