Program conception methods [ LINGI1122 ]
5.0 crédits ECTS
30.0 h + 30.0 h
2q
Teacher(s) |
Vander Meulen José ;
|
Language |
French
|
Place of the course |
Louvain-la-Neuve
|
Online resources |
> https://icampus.uclouvain.be/claroline/course/index.php?cid=INGI2122
|
Prerequisites |
- algorithms and data structures (as taught in the course SINF1121)
- experience in small-software programming small (as provided by the course SINF1121)
- logical reasoning and reasoning by induction (as praticed in the course INGI1101)
|
Main themes |
- Methods to design and prove programs
- Program transformations and techniques used to improve the efficiency
- Program schemes and problem classes
|
Aims |
Students completing successfully this course will be able to
- imagine a correct and efficient algorithm to solve a given problem
- create and specify the design for a software product using an accepted program design methodology and appropriate design notation
- demonstrate the exactness of complex algorithms
Students will have developed skills and operational methodology. In particular, they have developed their ability to
- use a rigorous approach to ensure the correctness of the result, using mathematical tools
|
Evaluation methods |
-
written exam
-
project or test during the semester
|
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
|
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).
|
Bibliography |
-
textbook online
-
statement of exercises online
|
Cycle et année d'étude |
> Master [120] in Chemistry and Bio-industries
> Bachelor in Computer Science
> Preparatory year for Master in Computer science
> Master [120] in Environmental Bioengineering
> Master [120] in Forests and Natural Areas Engineering
> Bachelor in Economics and Management
> Bachelor in Mathematics
> Bachelor in Engineering
> Master [120] in Agricultural Bioengineering
|
Faculty or entity in charge |
> INFO
|
<<< Page précédente
|