Script for the course “Foundations of Computer Science”