A l'issue de ce cours, l'étudiant aura acquis une maîtrise du langage C et sera capable
Il est à noter que, bien que le cours utilise le langage C, la grande majorité des acquis d'apprentissage s'appliquent à tout langage impératif.
Par ailleurs, durant le cours, l'étudiant sera sensibilisé à l'utilisation parcimonieuse de resources informatiques, que ce soit en temps de calcul, en mémoire utilisée, en taille de code, en utilisation de logiciels ou encore en coûts de maintenance de logiciels, et, de ce fait sera sensibilisé au développement durable dans un cadre informatique.
Le cours vise à étudier les techniques principales de construction rigoureuse de programmes et à peaufiner les notions de programmation étudiées au cours INFO B131 "Introduction à la programmation".
Après une réflexion sur la crise du logiciel, trois phases sont mises en évidence dans le processus de construction d'un logiciel et sont successivement étudiées: i) l'élaboration de spécifications, ii) les techniques de preuve et de construction d'algorithmes, iii) les techniques de dérivation et de transformation de programmes.
Le cours fait l'objet d'un enseignement ex-cathedra aux cours théoriques où se mêlent l'étude de concepts et leur application à de petits exemples. Des séances de travaux pratiques permettent à l'étudiant d'approfondir les concepts sur de nouveaux exemples et de les appliquer dans des cas d'étude de plus grande ampleur.
L’évaluation des étudiants repose sur la réalisation de travaux durant le semestre ainsi que sur un examen écrit. Un devoir de rattrapage est également prévu durant le second semestre pour améliorer la note pratique.
| Formation | Bloc | Crédits | Obligatoire |
|---|---|---|---|
| Bachelier en sciences informatiques | 2 | 5 | Oui |