Induction & Recursion: Advanced Concepts

In course

Non quis exercitation occaecat cillum ea veniam commodo deserunt laborum aliqua voluptate est reprehenderit consectetur. Exercitation incididunt irure Lorem ex adipisicing eiusmod. Laborum fugiat labore velit qui Lorem ullamco. Consequat aliqua quis quis ex velit est ut aliquip culpa ullamco ad tempor aute dolore. Exercitation deserunt in consequat ea amet nisi.

Description

This lecture covers the advanced concepts of induction and recursion. It starts with proving statements by induction, then moves on to recursively defined functions, sets, and structures. The lecture also includes examples of summation formulas, inequalities, and Fibonacci numbers.

Official source

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

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

Mathematical logic: Set theory

Number theory: Topics in number theory

Algebra: Abstract algebra

Logic

Classical logic: First-order logic

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (87)