Lectures related to Recursively Defined Sets and Structures

Closure Conversion: Representation and Transformation

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Total Order Relation: Properties of Real Numbers

Covers the concept of total order relation and properties of real numbers.

Shor's algorithm: factoring integers

Covers the basics of Shor's algorithm for factoring integers and the steps involved in the quantum algorithm.

Properties of Division

Covers the properties of division in integers and the relationship between divisibility and unique quotients.

Modular Arithmetic: Introducing Z/mZ

Introduces Z/mZ for writing equations with congruence classes in modular arithmetic.