This page contains some references to some material for an introductory course given at the IOS Regensburg in January 2020.
Slides (html, pdf).
Solutions to the exercises (first day, second day).