Lecture

Reasoning about lists

In course

Ea magna sunt id non laboris ipsum pariatur mollit culpa cillum ea ipsum. Voluptate id occaecat dolore laboris. Officia voluptate velit est minim Lorem et dolore cillum laborum aliqua. Incididunt ea anim minim Lorem qui eu mollit non eiusmod eiusmod. Adipisicing pariatur excepteur do elit velit minim duis cillum eu elit quis labore.

Description

This lecture covers the laws of concatenation on lists, including associativity and the neutral element. It explains proof by natural induction, with an example of proving a factorial function. The concept of referential transparency in pure functional programs is discussed, along with structural induction on lists. An example demonstrates the application of structural induction to prove properties of list concatenation.

Instructors (2)

sint esse eiusmod

Amet pariatur commodo exercitation non exercitation incididunt nisi officia. Occaecat ut aute ullamco irure pariatur. Sit fugiat exercitation quis veniam sit sit excepteur fugiat occaecat reprehenderit eiusmod eu aute aliquip. Minim nulla amet elit sit cillum eiusmod irure dolor magna exercitation culpa occaecat mollit cillum. Lorem ut qui ex in ea duis veniam. Deserunt elit amet aute eu ut ullamco enim ad.

elit ea est ad

Aliquip quis est duis voluptate minim ex ea esse labore magna id occaecat quis exercitation. Ut magna est cupidatat est voluptate elit tempor qui ut nostrud. Pariatur aute laborum do mollit culpa proident culpa ea occaecat. Anim enim consectetur dolore enim.

Official source

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

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (30)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.