DA2210 HT20-1 Introduction to the Philosophy of Science and Research Methodology for Computer Scientists