Courses: INFO104 Formal Methods in Information Science


Reporting to programmes (in 2023):


Programmes Periodic evaluation - programmes (every 5 years)
BASV-INFO Bachelor's Programme in Information Science Spring 2023


Connected to programmes (in 2023):


Programmes Periodic evaluation - programmes (every 5 years)
BASV-AIKI Bachelor's Programme in Artificial Intelligence
BASV-INFO Bachelor's Programme in Information Science Spring 2023
ÅRSV-INFO One-year programme in Information Science

Active from 2020


Periodical evaluation - course (every 3 years):

Course Description:


Reading list: