In this series of expository talks we introduce and discuss tools of ergodic theory such as recurrence theorems in order to give the proof of Szemeredi’s theorem.