Programowanie funkcyjne/Moduły/Ćwiczenia

Praca domowa

• Zdefiniuj sygnatury półgrupy i grupy.
• Zdefiniuj półgrupę składania funkcji.
• Rozszerz ją o $n$-krotne złożenie funkcji ze sobą.

Ćwiczenia

Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej pojęciom. Staraj się wykorzystać zdefiniowane wcześniej pojęcia:

• pierścień
• pierścień liczb całkowitych
• pierścień liczb rzeczywistych
• ciało
• ciało liczb rzeczywistych
• relacja binarna na elementach tego samego zbioru (np. relacja abstrakcji, porządek)
• porządek z operacjami kresu górnego i dolnego
• rozszerzenie relacji porządku liniowego o sortowanie
• rozszerzenie relacji porządku liniowego o kolejkę priorytetową