  Lecture notes for the course "Batalin-Vilkovisky formalism and applications
in topological quantum field theory" given at the University of Notre Dame in
the Fall 2016 for a mathematical audience. In these lectures we give a slow
introduction to the perturbative path integral for gauge theories in
Batalin-Vilkovisky formalism and the associated mathematical concepts.
