linfo1122  2020-2021  Louvain-la-Neuve

Due to the COVID-19 crisis, the information below is subject to change, in particular that concerning the teaching mode (presential, distance or in a comodal or hybrid format).
5 credits
30.0 h + 30.0 h
Q1
Teacher(s)
Pecheur Charles;
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
 
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
BIRC2M
5
Additional module in computer science
APPSINF
5