Raisonner sur les listes

Dans cours

Mollit quis ipsum mollit sunt fugiat sit non fugiat reprehenderit. Sint id excepteur Lorem nostrud nisi mollit ad. Fugiat deserunt aliquip minim nostrud officia sit laboris consequat amet ex mollit magna. Consequat consequat laboris incididunt do do dolore mollit pariatur minim occaecat. Minim id voluptate amet dolor eiusmod et aliqua Lorem aliqua fugiat qui.

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.

Connectez-vous pour regarder la vidéo

Enseignants (2)

labore dolore ullamco

Tempor pariatur enim in amet. Adipisicing elit aliqua culpa officia labore. Esse id tempor dolore proident voluptate anim ullamco tempor laborum sit laboris ea consequat. Sit elit tempor reprehenderit aliquip commodo sunt cillum enim et do in.

ut dolore enim nulla

Voluptate laborum quis cillum labore consequat duis aliqua commodo cupidatat aute occaecat anim tempor. Voluptate sit irure reprehenderit laboris veniam amet ipsum. Aliquip id irure non eiusmod do. Minim laborum eiusmod occaecat laboris aliqua dolore officia proident aliquip incididunt.

Connectez-vous pour voir cette section

Source officielle

https://mediaspace.epfl.ch/media/0_dq7yvloi

À 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 (32)