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ą.