Formal Methods in Information Science
- ECTS credits10
- Teaching semesterSpring
- Course codeINFO104
- Number of semesters1
- LanguageEnglish or Norwegian
Objectives and Content
The course will provide basic knowledge of formal concepts and methods useful within branches of information science. It forms the basis for studies in, among other things, databases, programming and artificial intelligence.
Content: elementary logic and set theory, relations and functions, graphs and trees, combinatorics and probability, information theory and computability.
At the end of the course, the student must have the following learning outcomes.
- has theoretical knowledge of basic concepts related to logic, set theory, relations, functions, graphs and trees, combinatorics and probability, information theory and computability.
- can explain other relevant concepts based on the previous ones.
- have knowledge of mathematical/formal forms of expression and reasoning.
- has a basic understanding of formalization as a method as well as the areas in which this is useful.
- can reproduce and explain concepts and results.
- can explain, asses and evaluate expressions and reasoning where they are useful.
- masters formal forms of expression and methods in a range of contexts.
Credit Reduction due to Course Overlap
INFO104 overlaps10 ECTS with MNF130, 5 ECTS with INFO103, 5 ECTS with INFO102, 5 ECTS with INFO131 and 5 ECTS with IV131.
Teaching and learning methods
Lectures and group exercises (usually 2 hours of lectures and 2 hours of group exercises each week, for a total of 14 weeks).
Compulsory Assignments and Attendance
- Mandatory assignments, which must be submitted and approved during the teaching semester.
- Attendance at lectures and group exercises (at least 75%).
The approval of compulsory teaching activities is valid for two semesters.
Forms of Assessment
4 hours written exam
Examination Support Material
Grading scale with letter grades (A-F)
Exams are offered in the teaching semester and the following semester (ordinary exam for students with a valid approved compulsory teaching activity).
The bibliography will be ready before 01.06. for the autumn semester, and before 01.12. for the spring semester.
All courses are evaluated according to UiB's quality system for education.
Details of the course coordinator and administrative contact person can be found in Mitt UiB.
For written exams, please note that the start time may change from 09:00 to 15:00 or vice versa until 14 days prior to the exam.
Type of assessment: Written exam
- 24.05.2023, 15:00
- 4 hours
- Withdrawal deadline
- Examination system
- Digital exam
- Solheimsgt. 18 (Administrasjonsbygget), SOL 2. etg., SOL 4. etg.