Combinatorial Search: For-Expressions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 2 of 3

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.