Teaching First-year undergraduate course at UCAS: Discrete Mathematics Graduate course: Formal Methods