Department of Education and Learning Technology, Tsinghua University: Lectures on AI and Programming Education