Induction and Recursion: Summary

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (44)

Cartesian Product and Induction

Introduces Cartesian product and induction for proofs using integers and sets.

Mathematical Induction: Basics and Applications

Introduces mathematical induction principles and applications, including inequalities, divisibility, subsets, and strong induction.

Course Overview: Teaser on Course Contents

Offers an overview of propositional and predicate logic, sets, functions, relations, algorithms, Swiss cities, sorting tables, Covid infections, poker hands, and prime numbers.

Sets and Operations: Introduction to Mathematics

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Functions: Definitions and Notations

Covers the generalities of functions, including the definition of an application between sets and the uniqueness of elements in the image set.

Recursively Defined Functions

Introduces recursively defined functions and demonstrates how to compute values and prove properties using mathematical induction.

Complexity & Induction: Algorithms & Proofs

Explores worst-case complexity, mathematical induction, and algorithms like binary search and insertion sort.

Sets and Proofs

Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.

Differential Forms Integration

Covers the integration of differential forms on smooth manifolds, including the concepts of closed and exact forms.

Divide-and-Conquer: Merge Sort

Explores loop invariants, time analysis, and the Divide-and-Conquer approach with a focus on Merge Sort.

Introduction to Analysis: Understanding Real Numbers and Proofs Log in to Mediaspace to watch this video

Covers the basics of analysis, including real numbers, proofs, sets, and operations.

Group Actions: Theory and Examples Log in to Mediaspace to watch this video

Explores concrete examples of group actions on sets, focusing on actions that do not change the set.

Proofs and Logic: Introduction Log in to Mediaspace to watch this video

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Computation & Algorithms II: Binary Search and Merge Sort Log in to Mediaspace to watch this video

Explores binary search, merge sort, recursion in algorithms, Fibonacci numbers, and dynamic programming.

Powers, Roots, and Calculation Rules Log in to Mediaspace to watch this video

Covers powers, roots, calculation rules, logarithmic functions, reciprocal functions, sets, and basic notations.

Heterogeneous Catalysis: Adsorption & Kinetics Log in to Mediaspace to watch this video

Explores adsorption mechanisms, elementary kinetics, active sites, and transport effects in heterogeneous catalysis.

Cartesian Product and Equivalence Classes Log in to Mediaspace to watch this video

Covers the Cartesian product of sets and binary relations with detailed examples and graphical representations.

Data Structures: Tuples, Lists, Sets, Dicts Log in to Mediaspace to watch this video

Introduces Python data structures like tuples, lists, sets, and dictionaries, emphasizing manipulation and conversion techniques.

Merge Sort: Divide, Conquer, Combine Log in to Mediaspace to watch this video

Explores Merge Sort, a sorting algorithm that divides, conquers, and combines arrays efficiently to achieve O(nlog n) time complexity.

Cylindrical Coordinates: Integrability and Volumes Log in to Mediaspace to watch this video

Explores cylindrical coordinates, integrability, and volume calculations using examples.

Page 1 of 3