The course aims to develop basic skills in mathematical abstraction, symbolic logic, and programming.