Emner: INFO104 Formelle metoder for informasjonsvitenskap - Høst 2023