Polytech'Sophia Université de Xidian

Vincent Granet (vg@unice.fr)



Xidian : Algorithmique et Programmation C

L'objectif de cet enseignement est le même que celui donné aux étudiants d'Elec3, 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.

Cours et TD - semestre 3

Cours et TD - semestre 4

Ressources


W3C validation