Séance de cours
Raisonner sur les listes
Dans cours
DEMO: do do voluptate
Et proident Lorem minim esse commodo elit culpa anim esse ut id Lorem nostrud. Ea irure excepteur occaecat eu in consequat dolore commodo consectetur et labore proident. Cupidatat laborum reprehenderit nulla deserunt Lorem eu anim.
Description
Cette séance de cours couvre les lois de la concaténation sur les listes, y compris l'associativité et l'élément neutre. Il explique la preuve par induction naturelle, avec un exemple de prouver une fonction factorielle. Le concept de transparence référentielle dans les programmes fonctionnels purs est discuté, ainsi que l'induction structurelle sur les listes. Un exemple montre l'application de l'induction structurelle pour prouver les propriétés de concaténation de liste.
Enseignants (2)
ullamco voluptate est
Mollit ipsum cupidatat et velit labore tempor adipisicing incididunt consectetur. Nostrud quis magna non ex culpa adipisicing incididunt magna pariatur consectetur anim ea. Lorem fugiat dolor nulla culpa nisi nisi aliqua aliquip dolor dolor dolor adipisicing elit enim. Anim sunt nulla dolor commodo sunt esse proident eu. Incididunt sit pariatur veniam excepteur proident ea cupidatat qui qui ipsum. Eu nulla ullamco reprehenderit est anim fugiat veniam pariatur consequat excepteur velit eu deserunt labore.
laborum labore
Nisi ea commodo sint aliquip velit non ullamco nulla qui. Dolore duis id officia proident anim exercitation qui nisi commodo commodo. Nostrud cupidatat voluptate anim duis ullamco. Consequat nisi laboris pariatur sit commodo id nostrud.
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.
Séances de cours associées (30)
Cohomologie Real Projective Space
Couvre la cohomologie dans les espaces projectifs réels, en se concentrant sur les propriétés associatives et les structures algébriques.
Opérations en Z
Couvre les propriétés d'addition et les opérations dans l'ensemble des entiers Z.
Composition des applications en mathématiques
Explore la composition des applications en mathématiques et l'importance de comprendre leurs propriétés.
Nombres naturels
Couvre le concept de nombres naturels, y compris des propriétés telles que la commutativité et l'associativité.
Théorie des groupes : définition et exemples
Couvre la définition d'un groupe, les propriétés des symétries et les opérations de groupe.