Computer Science – Algorithms, Languages and Logic