HW for week II.

4.3 Reading + 4. 3a) answering Qs and 4.3 b) looking for synonyms

Think of an example of a theorem in a) symbolic form

                                                                  b) natural language

HW for week III.

task 4 c) - translate, Task 4d) - read and answer Qs

Key to exercises: