problem 1: Use mathematical induction prove that:

problem 2: Show that √3 is irrational (use contradiction to prove)

problem 3: Show that if S₁ and S₂ are definite sets with |S₁|= n and |S₂|= m, then:

S₁ U S₂ |≤ n + m

problem 4: Give a simple description of the language generated by the grammar with productions:

S → αA

A → bS

S → λ

problem 5: describe the meaning of figure shown below which represents a binary adder.

Figure: Binary adder state transformation