Course Automated Reasoning (IN4352)