\item Let $a, b\in (0, \infty)\mid a\neq b$. Then $\ln a \neq \ln b$, so $f$ is \begin{prooflist}{3. Consider the cosine function $\cos : \mathbb{R} \rightarrow ...

To present the notion and techniques of proof, illustrated by results in set theory and basic combinatorics. To stimulate logical thinking and to develop students' skills at constructing mathematical ...

We consider exponentially large finite relational structures (with the universe {0.1}ⁿ) whose basic relations are computed by polynomial size (nO(1)) circuits. We study behaviour of such structures ...