Información

Autor(es) Vincent Branders, Pierre Dupont
Fecha de entrega 22/04/2026 14:00:00
Tiempo límite de envío Sin límite de envío

Inicia sesión

[TP09] Produit - Invariant


Pregunta 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
Pregunta 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
Pregunta 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
Pregunta 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
Pregunta 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