problem 1: Use mathematical induction prove that:
problem 2: Show that √3 is irrational (use contradiction to prove)
problem 3: Show that if S_{1} and S_{2} are definite sets with |S_{1}|= n and |S_{2}|= m, then:
S_{1} U S_{2} |≤ 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