Entry requirements

120 credits including 60 credits in Mathematics. Proficiency in English equivalent to the Swedish upper secondary course English 6.

Learning outcomes

On completion of the course, the student should be able to:

• account for the floating point system at modern computers;
• account for the basic interval analysis;
• use the inclusion principle to verify/falsify mathematical statements;
• implement simple algorithms for computer-aided proofs;
• use technologies for automatic derivation;
• solve problems in optimisation, equation solution and quadrature using validated numerics;
• account for inclusion methods for ordinary differential equations;
• handle software for validated numerics.

Content

The floating point system, rounding- and truncation errors, interval arithmetic, interval analysis, automatic derivation, validated numerics for equation solution, optimisation, quadrature and ordinary differential equations. Applications from chosen fields.

Instruction

Lectures and computer demonstrations.

Assessment

A smaller project work (consisting of theory or computer implementation) where a chosen problem is solved with validated numerics combined with written assignments during the course.

If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.