Lecture

Combinatorial Search: For-Expressions

Related lectures (30)

Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.

Group Actions: Theory and Examples

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

The Label of Edges: Set

Explores edge labels, skills like aggregation and deduction, and the structure of contents.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.

Sets and Operations: Introduction to Mathematics

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

Python Programming: List Comprehensions and Higher Order Functions

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

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.

Cartesian Product and Induction

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

Differential Forms Integration

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

Collections: Methods and For-Expressions

Covers the hierarchy of collection classes in Scala and how for-expressions simplify core methods.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Combinatorial Search and For-Expressions

Explores combinatorial search and introduces for-expressions as a more intuitive way to manipulate lists in Scala.

Mapping Functions and Surjections

Explores mapping functions, surjections, injective and surjective functions, and bijective functions.

Linear Algebra: Sets and Operations

Introduces fundamental concepts of linear algebra, focusing on sets and operations.

A Conjecture of Erdös: Proof by Moreira, Richter and Robertson

Presents a short proof of a conjecture by Erdös, exploring related questions and detailed proof of the proposition.

Intermediate Representations: CPS/L3

Covers intermediate representations in compilers, focusing on CPS/L3 functional IR with local continuations and control constructs.

Analysis IV: Measurable Sets and Properties

Covers the concept of outer measure and properties of measurable sets.

Functional random generators

Explores functional random generators for various domains and their application in systematic random testing.

Mathematics: Sets and Functions

Introduces sets, functions, Cartesian products, and compositions, discussing images, preimages, and function properties.

Advanced Physics I: Orders of Magnitude

Explores the triumph of determinism in modern mechanics and the methodology of scientific development, with practical exercises on estimating surgical mask usage and analyzing atomic bomb energy.