b) Teoretická informatika,