Logic in Computing Courses