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éfinition récursive d'ensembles tels que des nombres naturels et des entiers sont fournis, ainsi que des explications sur la concaténation de 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.