Note from June 29, 2020
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
Although we do not yet know how long the social distancing related to the Covid-19 pandemic will last, and regardless of the changes that had to be made in the evaluation of the June 2020 session in relation to what is provided for in this learning unit description, new learnig unit evaluation methods may still be adopted by the teachers; details of these methods have been - or will be - communicated to the students by the teachers, as soon as possible.
5 credits
30.0 h + 30.0 h
Q2
Teacher(s)
Pecheur Charles;
Language
French
Prerequisites
- Within SINF1BA : LSINF1225
- Within FSA1BA : LFSAB1101, LFSAB1102, LFSAB120&, LFSAB1202, FSAB1301, LFSAB1401
Main themes
- Methods to design and prove programs
- Program transformations and techniques used to improve the efficiency
- Program schemes and problem classes
Aims
At the end of this learning unit, the student is able to : | |
| 1 |
Given the learning outcomes of the "Bachelor in Engineering" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
Given the learning outcomes of the "Bachelor in Computer science" program, this course contributes to the development, acquisition and evaluation of the following learning outcomes:
Students completing successfully this course will be able to
Students will have developed skills and operational methodology. In particular, they have developed their ability to
|
The contribution of this Teaching Unit to the development and command of the skills and learning outcomes of the programme(s) can be accessed at the end of this sheet, in the section entitled “Programmes/courses offering this Teaching Unit”.
Content
- Methods to design and prove programs : invariant methods, wp calculus, induction on structures.
- Program transformations and techniques used to improve the efficiency
- Program schemes and problem classes: global research schemes (backward path, selection and evaluation, binary research), local research schemes (voracious strategy; gradient research, simulated annealing), structural reduction schemes (split to reign, dynamic programming, relaxation, constraints).
Teaching methods
- Lectures every week
- Practical exercises in which students apply in simple situations the concepts described in the lectures
- Project to practice techniques in the case of a larger application
Evaluation methods
In June, the final mark will consist of continuous assessment (25%) and the examination (75%).
In September, the final mark will be based only of the examination (100%).
In September, the final mark will be based only of the examination (100%).
Online resources
https://moodleucl.uclouvain.be/course/view.php?id=9241
Teaching materials
- textbook online
- statement of exercises online
Faculty or entity
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Title of the programme
Sigle
Credits
Prerequisites
Aims
Master [120] in Chemistry and Bioindustries
Master [60] in Computer Science
Master [120] in Agricultural Bioengineering
Master [120] in Environmental Bioengineering
Master [120] in Computer Science
Master [120] in Forests and Natural Areas Engineering