Title: Foundations of computer science IV