Complete lattice

Formal sciences
Mathematics
Algebra
Abstract algebra

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

Lattices for Abstract Interpretation

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

Lattice Theory: Minkowski's Theorems

Delves into lattice theory, emphasizing Minkowski's theorems and their implications on lattice structures.

Relations and Sequences

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

Real Numbers: Sets and Operations

Explores the fundamental concepts of real numbers, including sets, operations, and properties like supremum and infimum.

Number Fields: Embeddings and Ideal Classes

Covers the embeddings of number fields and ideal classes with proofs and examples.

State-Space Representation: Structure Theorem

Covers the structure theorem for state-space representations and companion forms.

Lattices, Minkowski's Theorem

Explores lattices, Minkowski's Theorem, and properties of symmetric convex sets.

Integer Optimization: Theory and Applications

Covers the fundamentals of integer optimization, including integer programming, dynamic programming, and approximation algorithms.

Hilbert Space: Geometry, Bases

Explores Hilbert space, scalar product, geometry, bases, complex functions, and quantum mechanics applications.

Group Actions on Lattices

Explores group actions on lattices, emphasizing GL₂(Q) and GL₂(Ag) compatibility and alternative formulations.