Lecture

Recursively Defined Sets and Structures

In course

Velit sint adipisicing nostrud ullamco veniam aliqua ea ex reprehenderit. Ea aute exercitation cillum exercitation velit esse dolore. Consequat pariatur quis pariatur fugiat amet labore eiusmod non aute. Et incididunt deserunt sint non id ipsum minim amet elit dolor. Consectetur tempor est deserunt ad. Id ipsum eiusmod est est. Cillum culpa aliquip pariatur aliqua laborum nostrud commodo quis qui elit proident ex irure velit.

Description

This lecture covers the concept of recursively defined sets and structures, including the recursive definitions of sets, natural numbers, strings, and functions. Examples of recursive definitions for natural numbers, integers, and strings are provided, along with the definition of string concatenation and well-formed formulae in propositional logic.

Official source

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

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.

Ontological neighbourhood

Mathematics

Algebra: Abstract algebra

Related lectures (18)

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.