Concept
Preorder
Related lectures (12)
Relations in Computer Science
Explores the properties of relations in computer science, including equivalence relations and the partition of a set.
Relations: Reflexive, Symmetric, Antisymmetric, Transitive
Explains binary relations on a set and their properties with illustrative examples.
Relations: Definitions and Properties
Explains binary relations, reflexive, symmetric, antisymmetric, and transitive relations on a set.
Lattices for Abstract Interpretation
Covers lattices, abstract interpretation, fixpoint analysis, Hoare logic, and partial orders with extreme elements.
Max-Flow Problem: Ford-Fulkerson Algorithm
Explores the Ford-Fulkerson algorithm for solving the Max-Flow problem and its applications in network flow optimization.
Sets and Functions
Introduces binary relations, functions, and various types of relations in sets.
Linearity of Expectation: First Moment Method
Introduces Linearity of Expectation and the First Moment Method, explores probability theory problems like Buffon's Needle, and discusses transitive tournaments and Ham paths.