SIN3U11
UE Structures discrètes
Unité d'enseignement (UE) de 3 crédits
DESCRIPTION
ORGANISATION
FORMATIONS
Contenu
Relation d'ordre, ordre bien fondé, ordre lexicographique: Application à la terminaison terminaison d'algorithmes
Récurrence, induction bien fondée. Application aux preuves d'algorithmes récursifs
Définition inductives d'ensembles, ambiguïté, arbres de dérivation, théorème de point fixe
Ordre bien fondé induit, fonction définie inductivement, terminaison .
Preuve par Induction structurelle
Invariants de boucle, preuve d'algorithmes
Compétences à acquérir
Rédiger des preuves simples
Définir un ensemble de manière inductive
Langue(s) d'enseignement
Français
Modalités d'organisation
Cours intégrés, pédagogie active.
Volume des enseignements
Travaux pratiques: 6 heures
Volume total: 6 heures
Responsables pédagogiques:
NAVES Guyslain
— Multisite
NAVES Guyslain
— Site de Saint-Charles
TICHIT Laurent
— Site de Luminy
GRANDCOLAS Stephane
— Site d'Aix-Montperrin
Codes APOGÉE
SIN3U11A [ELP]
SIN3U11L [ELP]
SIN3U11C [ELP]
Les formations qui utilisent cet enseignement
Rechercher...
