Logic in Computer Science and Artificial Intelligence, 7.5 credits