Program design methods

linfo1122  2021-2022  Louvain-la-Neuve

Program design methods
5.00 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
Learning outcomes

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
Learning outcomes
Additional module in computer science

Master [120] in Chemistry and Bioindustries