[PL-sem-jr] Order Theory, Monday 2/23 12:30 pm in WVH 366

[Kevin Clancy]

Order theory, the study of relations that are reflexive, antisymmetric, and
transitive, is a subject which is widely applicable in computer science.
This talk will cover the foundations of order theory: ordered sets, Hasse
diagrams, down sets, the duality principle, order isomorphisms, and more.
-------------- next part --------------
HTML attachment scrubbed and removed