<- Archives UCL - Programme d'études ->



Program conception methods [ LINGI1122 ]


5.0 crédits ECTS  30.0 h + 30.0 h   2q 

Teacher(s) Le Charlier Baudouin ;
Language French
Place
of the course
Louvain-la-Neuve
Online resources

 > http://www.icampus.ucl.ac.be/claroline/course/index.php?cid=INGI1122

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
> Bachelor in Engineering
> Bachelor in Computer Science
> Preparatory year for Master in Computer science
> Bachelor in Engineering : Architecture
> Bachelor in Economics and Management
> Bachelor in Mathematics
Faculty or entity
in charge
> INFO


<<< Page précédente