Vincent Granet (vg@unice.fr)
L'objectif de cet enseignement est le même que celui donné aux étudiants d'ELSE3 FISE, c'est-à-dire l'apprentissage du langage de programmation C. Toutefois, l'organisation dans le temps de cet enseignement est différente, puisqu'il s'agit de deux sessions de 15 jours (une à l'automne, l'autre au printemps); D'autre part, sa structuration est également différentes, puisque on revient au schéma classique, avec des cours et des TD/TP. Dans la mesure où la plupart des étudiants n'ont pas de connaissances préalables en programmation, toutes les notions d'algorithmique et de programmation nécessaires sont d'abord introduites avant les éléments du langage C correspondants. À noter que l'Axiomatique de Hoare (méthode formelle de preuve de validité des programmes procéduraux) est introduite dans ce cours.
sudo apt update ; sudo apt install libsx0 libsx-dev
