Spécifier sans implémenter

Exercice · informatique (tronc commun des prépas scientifiques), chapitre 1 — La discipline de programmation

É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}.
    """

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.