INF3232 - Logic for System Analysis

Schedule, syllabus and examination date

Choose semester

Course content

The main goals of the course are to:
1. Show how logical methods can be used to model and reason about data types and distributed systems.
2. Give a high-level introduction to distributed systems.

The course therefore briefly introduces different classes of distributed systems -- including transport protocols, database protocols, classic distributed
algorithms, and cryptographic protocols -- as well as different forms of communication and some fault tolerance. Modeling and analysis of distributed systems, and an introduction to different classes of requirements of distributed systems.

Equational logic and rewriting logic and the analysis tool Maude are used to formalize and reason about the systems, in addition to reasoning about properties such as termination and invariance.

Learning outcome

After having completed this course:

  • you are familiar with some classical distributed systems/algorithms
  • you understand the challenges involved in designing distributed systems
  • you are able to model distributed systems, such as distributed algorithms, network protocols and cryptographic protocols, at a high level of abstraction
  • you can develop and test prototypes/models of such systems
  • you can reason mathematically about properties of systems, such as correctness and termination
  • you understand different forms of communication and networks
  • you are familiar with key classes of requirements that a distributed systems may have to satisfy

Prerequisites

Formal prerequisite knowledge

In addition to fulfilling the Higher Education Entrance Qualification, applicants have to meet the following special admission requirements:

  • Mathematics R1 or Mathematics (S1+S2)

The special admission requirements may also be covered by equivalent studies from Norwegian upper secondary school or by other equivalent studies. Read more about special admission requirements (in Norwegian).

Overlapping courses

Teaching

2 hours of lecture and 2 hours of seminar each week. 3 mandatory assigmnents much be passed during the course. Rules for mandatory assignments.

Examination

4 hours written exam. The mandatory assignments must be approved prior the exam.

Examination support material

All written and printed exam resources are allowed.

Language of examination

You may write your examination paper in Norwegian, Swedish, Danish or English.

Grading scale

Grades are awarded on a scale from A to F, where A is the best grade and F is a fail. Read more about the grading system.

Explanations and appeals

Resit an examination

Students who can document a valid reason for absence from the regular examination are offered a postponed examination at the beginning of the next semester.

Re-scheduled examinations are not offered to students who withdraw during, or did not pass the original examination.

Withdrawal from an examination

It is possible to take the exam up to 3 times. If you withdraw from the exam after the deadline or during the exam, this will be counted as an examination attempt.

The subject is regarded equal to INF4232/3230/4231/4230 when practicing exam regulations.

Special examination arrangements

Application form, deadline and requirements for special examination arrangements.

Facts about this course

Credits

10

Level

Bachelor

Teaching

Every spring

Examination

Every spring

Teaching language

Norwegian (English on request)