Foundations of computer science : lecture notes