Title: Lecture notes on foundations for computer science