JBI020 (2020-2) Foundations of computing