Lecture notes for the degree on computer science at UPV/EHU (Spanish)