Lecture notes from classes at Korea University