Inleiding
We introduceren tralies zowel als gedeeltelijk geordende verzamelingen en als algebra. Uitgaande van de gedeeltleijk geordende verzamelingen behandelen we Hasse diagrammen, complete tralies, Galois verbindingen en informatie en ordening. Vanuit de algebraische visie behandelen we homomorfe stellingen, speciale categorieen zoals modulaire, distributieve en Booleaanse algebra, en de uitbeeldings theorie voor eindige tralies hun verhouding tot klassieke propositionele logica.
|
Leerdoelen
Na deze cursus heeft de student kennis van geordende algebraische structuren, waaronder tralies en Booleaanse algebra, en heeft het verband gezien tussen diverse onderwerpen in de algebra, analyse en informatica. Hij of zij is bekend met informatie en ordening en Birkhoff lichamen voor eindige distributieve tralies, en heeft diverse toepassingen gezien waaronder kennis uitbeelding.
|
Studielastverdeling
- 28 uur hoorcollege
- 28 uur werkcollege
|
Toelichting werkvormen
- 28 uur Hoorcolleges
- 28 uur Werkcolleges
|
Toetsvorm
Schriftelijk
|
Vereiste voorkennis
ringen en lichamen 1
|
Literatuur
B.A. Davey & H.A. Priestley, Introduction to Lattices and Order, 2nd edn (CUP 2002).
|
