This lecture series is based on the 6 lectures I gave at the instructional workshop "Iwasawa Theory over function fields" at ICMAT (Madrid, Spain). The aim of this lecture series is to explain the formulation of the equivariant BSD conjecture over global function fields, following the joint work with D. Burns and M. Kakde. In the next two--three talks, I will explain the backgrounds on K_1 and relative K_0 of group rings for finite groups over local/global fields of characteristic 0 and their orders.