Séance de cours
Ensembles et structures définis récursivement
Description
Cette séance de cours couvre le concept d'ensembles et de structures définis récursivement, y compris les définitions récursives des ensembles, des nombres naturels, des chaînes et des fonctions. Des exemples de définitions récursives pour les nombres naturels, les entiers et les chaînes sont fournis, ainsi que la définition de la concaténation des chaînes et des formules bien formées en logique propositionnelle.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.