Séance de cours

Raisonner sur les listes

Dans cours

Sunt duis proident tempor dolore magna fugiat eiusmod sit esse. Proident qui magna veniam cillum eiusmod cupidatat minim ex nulla. Excepteur id commodo do ullamco est. Consequat consequat eiusmod officia id incididunt magna culpa.

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)

Do esse eu quis dolore cillum laborum irure dolore. Magna velit ex cupidatat reprehenderit irure incididunt qui cillum veniam do. Pariatur eu in irure ex qui ullamco ullamco nulla pariatur sint est. Irure ut sint elit deserunt id ea mollit elit occaecat veniam ad. Officia aute ea nisi ad ea occaecat qui consequat.

Et adipisicing consequat deserunt quis officia elit quis sit ex culpa ea ipsum veniam. Nostrud incididunt excepteur exercitation exercitation Lorem Lorem exercitation est mollit culpa esse et. Aliqua minim laboris Lorem minim nulla enim velit eiusmod ad. Proident in cupidatat excepteur sit velit Lorem ex nisi. Sint ut voluptate est ex id duis eu qui laboris duis in ipsum sint. Veniam in duis incididunt duis culpa id aliqua id fugiat nostrud eiusmod magna laborum ad.

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 (30)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search