Informações

Autores Vincent Branders, Pierre Dupont
Prazo de entrega 22/04/2026 14:00:00
Limite de submissão No limitation

Entrar

[TP09] Produit - Invariant


Questão 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
Questão 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
Questão 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
Questão 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
Questão 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