logo Insalogo Insa

Mathematics and algorithms

Objectives

At the end of this module, the student will have understood and be able to explain (main concepts):
 
- concepts of algorithm and typing (assigning by type).
- Logic and the main reasoning methods.
- Set theory and operations on sets
The student will be able to:
- Rigorously prove mathematical statements.
- Handle abstract sets.
- Design an algorithm to solve a simple problem and translate it into the Ada
language.

Needed prerequisite

Common sense, rigour.

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...