Chronologie du cours

présentation rapide de ce qu’est l’informatique;
introduction à la ligne de commande
introduction au SGF
commandes liées au SGF : pwd, cd, ls, mkdir, rmdir, cp, mv, rm
i-nœuds, commande ls -i
répertoires comme entité structurante pour le passage du tableau d’i-nœuds à l’arborescence du SGF
liens physiques et liens symboliques; commandes ln et ln -s

exemple de création d’un faux gros fichier; code: bigfile.c
espace d’adressage
droits sur les fichiers : consultation, signification et modification
caractérisation d’un langage de programmation: paradigmes (POO/impératif/fonctionnel)
graphe de flot de contrôle d’un programme
compilation vs. interprétation
types : définition, taille, conversions explicite et implicite, typage fort vs. typage faible

types : typage statique vs. typage dynamique
identifiants dans les langages de programmation
bases de C : compilation
bases de C : flot d’un programme C et rôle de la fonction main
identifiants en C : règles
variables en C : déclaration, affectation, portée; code : reutilisation_identifiant.c
constantes littérales en C

constantes symboliques en C
fonctions en C: invocation/appel, syntaxe
fonctions en C: passage par valeurs, variables locales, valeur de retour; code : passage_par_valeurs.c
types en C: int, unsigned int, int8_t, int32_t, int64_t, uint8_t, uint32_t, uint64_t
bit de poids fort / bit de poids faible
complément à 2
opérations sur les entiers
structures de contrôle de C: conditionnelles, boucles conditionnelles, boucles inconditionnelles

norme IEEE 754 pour les nombres à virgule flottante en double précision
opérations sur les doubles, problèmes de précision et erreurs d’arrondi
opérations entre doubles et entiers
booléens
introduction à l’algorithmique
conception d’un algorithme: entrée, sortie, problème de décision
correction: terminaison, correction partielle et totale; code : plus_grande_puissance_de_2.c / plus_grande_puissance_de_2.ml
efficacité: complexité temporelle, complexité spatiale
indécidabilité du problème de l’arrêt
terminaison : définition des variants de boucle

preuve de terminaison par variant de boucle et par variant d’appel; code : factorielle.c / factorielle.ml / nb_chiffres_base10.c / nb_chiffres_base10.ml / dichotomie.c
correction : définition des invariants de boucle
preuve de correction par invariant de boucle
preuve de correction par récurrence

tableaux et pointeurs (unidimensionnels et multidimensionnels) comme paramètres d’une fonction; code : tableaux_multidim.c, pb_tableaux_pointeurs.c, dimensions_incompatibles.c
arguments du main; code : arguments_du_main.c
- types structurés en C : définition (struct), déclaration, initialisateur