Fiche de cours

Donner des postconditions

Lycée   >   Premiere   >   NSI   >   Donner des postconditions

  • Fiche de cours
  • Quiz et exercices
  • Vidéos et podcasts
Objectif

Donner des postconditions.

Points clés
  • L’ajout d’une postcondition dans la documentation de la fonction permet de spécifier ce que doit retourner la fonction ou le programme.
  • On peut aussi ajouter une postcondition dans le corps de la fonction, pour repérer d’éventuelles erreurs.
Pour bien comprendre
  • Commenter une fonction ou un programme
  • Donner des préconditions
1. Ajouter une postcondition dans la documentation d’une fonction
Une postcondition correspond à la description de ce que doit renvoyer la fonction.
La postcondition doit être placée entre le commentaire et la précondition, à l’intérieur de la documentation.
Exemple avec la fonction euclid
Voici l’explication ligne à ligne de ce programme.
def euclid(a,b): On définit la fonction.
   """calcul du pgcd par l’algorithme d’Euclide Ce commentaire explique le rôle de la fonction.
   retourne un nombre entier : le pgcd Postcondition.
   a et b entiers positifs avec a non nul""" Précondition.
   assert a>0 "a doit être strictement positif" Test de la précondition « a non nul »
   while b!=0 Boucle tant que.
      if a>b Structure conditionnelle Si.
         a=a-b
      else: Structure conditionnelle Sinon.
         b=b-a
   return a La fonction retourne la valeur de a.
2. Ajouter une postcondition dans le corps d’une fonction

On peut également rajouter dans le corps de la fonction, c’est-à-dire à l’intérieur de celle-ci, une postcondition pour vérifier que le retour de la fonction est du bon type.

Ce test peut être effectué en utilisant le mot clé assert.

Exemple avec la fonction distance
La ligne 6 permet de vérifier que le retour de la fonction est un nombre positif (postcondition donnée en ligne 3). Si d est négatif, un message d’erreur apparait.

Évalue ce cours !

 

Des quiz et exercices pour mieux assimiler sa leçon

La plateforme de soutien scolaire en ligne myMaxicours propose des quiz et exercices en accompagnement de chaque fiche de cours. Les exercices permettent de vérifier si la leçon est bien comprise ou s’il reste encore des notions à revoir.

S’abonner

 

Des exercices variés pour ne pas s’ennuyer

Les exercices se déclinent sous toutes leurs formes sur myMaxicours ! Selon la matière et la classe étudiées, retrouvez des dictées, des mots à relier ou encore des phrases à compléter, mais aussi des textes à trous et bien d’autres formats !

Dans les classes de primaire, l’accent est mis sur des exercices illustrés très ludiques pour motiver les plus jeunes.

S’abonner

 

Des quiz pour une évaluation en direct

Les quiz et exercices permettent d’avoir un retour immédiat sur la bonne compréhension du cours. Une fois toutes les réponses communiquées, le résultat s’affiche à l’écran et permet à l’élève de se situer immédiatement.

myMaxicours offre des solutions efficaces de révision grâce aux fiches de cours et aux exercices associés. L’élève se rassure pour le prochain examen en testant ses connaissances au préalable.

S’abonner

Des vidéos et des podcasts pour apprendre différemment

Certains élèves ont une mémoire visuelle quand d’autres ont plutôt une mémoire auditive. myMaxicours s’adapte à tous les enfants et adolescents pour leur proposer un apprentissage serein et efficace.

Découvrez de nombreuses vidéos et podcasts en complément des fiches de cours et des exercices pour une année scolaire au top !

S’abonner

 

Des podcasts pour les révisions

La plateforme de soutien scolaire en ligne myMaxicours propose des podcasts de révision pour toutes les classes à examen : troisième, première et terminale.

Les ados peuvent écouter les différents cours afin de mieux les mémoriser en préparation de leurs examens. Des fiches de cours de différentes matières sont disponibles en podcasts ainsi qu’une préparation au grand oral avec de nombreux conseils pratiques.

S’abonner

 

Des vidéos de cours pour comprendre en image

Des vidéos de cours illustrent les notions principales à retenir et complètent les fiches de cours. De quoi réviser sa prochaine évaluation ou son prochain examen en toute confiance !

S’abonner

Découvrez le soutien scolaire en ligne avec myMaxicours

Plongez dans l'univers de myMaxicours et découvrez une approche innovante du soutien scolaire en ligne, conçue pour captiver et éduquer les élèves de CP à la terminale. Notre plateforme se distingue par une riche sélection de contenus interactifs et ludiques, élaborés pour stimuler la concentration et la motivation à travers des parcours d'apprentissage adaptés à chaque tranche d'âge. Chez myMaxicours, nous croyons en une éducation où chaque élève trouve sa place, progresse à son rythme et développe sa confiance en soi dans un environnement bienveillant.

Profitez d'un accès direct à nos Profs en ligne pour une assistance personnalisée, ou explorez nos exercices et corrigés pour renforcer vos connaissances. Notre assistance scolaire en ligne est conçue pour vous accompagner à chaque étape de votre parcours éducatif, tandis que nos vidéos et fiches de cours offrent des explications claires et concises sur une multitude de sujets. Avec myMaxicours, avancez sereinement sur le chemin de la réussite scolaire, armé des meilleurs outils et du soutien de professionnels dédiés à votre épanouissement académique.

Fiches de cours les plus recherchées

NSI

Tester un programme

NSI

Prototyper une fonction

NSI

S'informer sur une bibliothèque Python

NSI

Utiliser la bibliothèque Matplotlib de Python pour créer un graphique

NSI

Algorithmes de recherche : parcourir un tableau

NSI

Algorithmes de recherche : rechercher un extremum

NSI

Algorithmes de recherche : obtenir une moyenne, une médiane

NSI

Trier par insertion

NSI

Trier par sélection

NSI

Utiliser les invariants pour corriger un algorithme