Information

Author(s) Vincent Branders, Pierre Dupont
Deadline 22/04/2026 14:00:00
Submission limit No limitation

Συνδεθείτε

[TP09] Produit - Invariant


Question 1: Initialisation

Sélectionnez, parmi les propositions suivantes, la(les) propriété(s) vérifiée(s) à chaque passage par la ligne marquée d'un # dans la fonction suivante :

def produit(a,b):
    """
    pre: `a` un réel
    pre: `b` un entier >= 0
    post: renvoie a*b
    """
    c,i = 0,0
    #
    while i < b:
        c += a
        i += 1
    return c
Question 2: Itération

Sélectionnez, parmi les propositions suivantes, la(les) propriété(s) vérifiée(s) à chaque passage par la ligne marquée d'un # dans la fonction suivante :

def produit(a,b):
    """
    pre: `a` un réel
    pre: `b` un entier >= 0
    post: renvoie a*b
    """
    c,i = 0,0
    while i < b:
        #
        c += a
        i += 1
    return c
Question 3: Itération 2

Sélectionnez, parmi les propositions suivantes, la(les) propriété(s) vérifiée(s) à chaque passage par la ligne marquée d'un # dans la fonction suivante :

def produit(a,b):
    """
    pre: `a` un réel
    pre: `b` un entier >= 0
    post: renvoie a*b
    """
    c,i = 0,0
    while i < b:
        c += a
        #
        i += 1
    return c
Question 4: Itération 3

Sélectionnez, parmi les propositions suivantes, la(les) propriété(s) vérifiée(s) à chaque passage par la ligne marquée d'un # dans la fonction suivante :

def produit(a,b):
    """
    pre: `a` un réel
    pre: `b` un entier >= 0
    post: renvoie a*b
    """
    c,i = 0,0
    while i < b:
        c += a
        i += 1
        #
    return c
Question 5: Produit - Terminaison

Sélectionnez, parmi les propositions suivantes, la(les) propriété(s) vérifiée(s) à chaque passage par la ligne marquée d'un # dans la fonction suivante :

def produit(a,b):
    """
    pre: `a` un réel
    pre: `b` un entier >= 0
    post: renvoie a*b
    """
    c,i = 0,0
    while i < b:
        c += a
        i += 1
    #
    return c