Information

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

Sign in

[TP09] Puissance - Invariant


Question 1: Puissance - 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 puissance(a,m):
    """
    pre: `a` un entier > 0
    pre: `m` un entier >= 0
    post: renvoie a^m
    """
    p = 1
    n = 0
    #
    while n < m:
        p *= a
        n += 1
    return p
Question 2: Puissance - 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 puissance(a,m):
    """
    pre: `a` un entier > 0
    pre: `m` un entier >= 0
    post: renvoie a^m
    """
    p = 1
    n = 0
    while n < m:
        #
        p *= a
        n += 1
    return p
Question 3: Puissance - 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 puissance(a,m):
    """
    pre: `a` un entier > 0
    pre: `m` un entier >= 0
    post: renvoie a^m
    """
    p = 1
    n = 0
    while n < m:
        p *= a
        #
        n += 1
    return p
Question 4: Puissance - 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 puissance(a,m):
    """
    pre: `a` un entier > 0
    pre: `m` un entier >= 0
    post: renvoie a^m
    """
    p = 1
    n = 0
    while n < m:
        p *= a
        n += 1
        #
    return p
Question 5: Puissance - 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 puissance(a,m):
    """
    pre: `a` un entier > 0
    pre: `m` un entier >= 0
    post: renvoie a^m
    """
    p = 1
    n = 0
    while n < m:
        p *= a
        n += 1
    #
    return p