informatique (tronc commun des prépas scientifiques) · Chapitre 1 · Application directe du cours
Spécifier sans implémenter
La discipline de programmation · niveau 1 (application)
Énoncé
Rédiger la spécification complète (signature annotée, docstring avec préconditions et postconditions) d'une fonction occurrences(v, t) comptant les apparitions de la valeur v dans la liste t.
Corrigé
def occurrences(v, t: list) -> int:
"""Renvoie le nombre d'indices i pour lesquels t[i] == v.
Précondition : t est une liste (éventuellement vide).
Postcondition : le résultat c renvoyé vérifie 0 <= c <= len(t),
et c représente le cardinal de l'ensemble {i | t[i] == v}.
"""