linfo1122  2019-2020  Louvain-la-Neuve

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.
5 credits
30.0 h + 30.0 h
Q1

  This learning unit is not being organized during year 2019-2020.

Language
French
Main themes
  • Specification of simple programs, with procedures and with data structures
  • Logic and recurrence
  • Proof of simple programs, with procedures and with data structures
  • Algorithm design techniques
  • Programming schemes
Aims

At the end of this learning unit, the student is able to :

1
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:
  • S1.I5
  • S2.2-3
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 of a software product using an appropriate program design and notation methodology
  • demonstrate the exactness of simple algorithms
  • use a rigorous approach to ensure the exactness of the result, using mathematical tools
 

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”.
Faculty or entity
INFO


Programmes / formations proposant cette unité d'enseignement (UE)

Title of the programme
Sigle
Credits
Prerequisites
Aims
Additional module in computer science