SNU-CTP Lectures on "Liouvillian formalism and its applications"