Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Partially ordered set

Related lectures (30)

Relations and Sequences

Covers relations, sequences, and posets, emphasizing properties like anti-symmetry and transitivity, and introduces arithmetic and geometric progressions.

Integers: Elementary Concepts

Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.

Möbius inversion: posets

Covers the Möbius inversion for posets, defining partially ordered sets and explaining the incidence algebra.

Partial Ordering: Relations, Sequences, Summation

Introduces partial orderings, lattices, and lexicographic orderings on Cartesian products.

Partial Ordering: Relations, Sequences, Summation

Explores partial orderings, divisibility relations, lattices, lexicographic ordering, comparability, and total orderings.

Equivalence Relations and Partial Orderings

Introduces equivalence relations, partitions, partial orderings, and total ordering concepts with examples and definitions.

Relations and Sequences: Well-ordered Sets and Geometric Series

Explores equivalence relations, well-ordered sets, geometric series, and countable sets.

Lattices for Abstract Interpretation

Covers lattices, abstract interpretation, fixpoint analysis, Hoare logic, and partial orders with extreme elements.

Posets and Equivalence Relations

Introduces posets, Hasse diagrams, and equivalence relations on sets.

Relations, Sequences and Summations

Covers topics on relations, sequences, and summations, including lattices, recurrence relations, and sigma notation.

Cartesian Product MOOC: Analysis I (part 1): Prelude, basic concepts, real numbers MOOC: Analysis I

Covers the concept of the Cartesian product, emphasizing the order of elements in pairs.

Permutations and Combinations

Covers the concepts of permutations and combinations, explaining how to calculate them with examples.

Force-extension relation of a polymer

Explores the force-extension relation of polymers through experiments and models.

Untitled

From Lattice Products to Tarski's Fixedpoint Theorem

Covers the combination of lattice elements, partial orders, complete lattices, and Tarski's Fixed Point theorem.

Limit of a Sequence

Explores the limit of a sequence and its convergence properties, including boundedness and monotonicity.

Cartesian Product and Induction

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

Isogeny Graphs: Eigenvalues and Cryptography

Explores isogeny graphs of supersingular elliptic curves, showing optimal mixing times for random walks and applications to cryptography.

I-Cremona: Structural Forces

Covers the i-Cremona applet for analyzing structural forces and subsystems, emphasizing correct force input and Java compatibility.

Common Sequences Operations

Covers common operations on sequences like lists and tuples, including slicing, extending, and replacing elements.