Programowanie funkcyjne/Moduły/Ćwiczenia: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 6: | Linia 6: | ||
== Ćwiczenia == | == Ćwiczenia == | ||
Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej pojęciom. | Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej pojęciom. | ||
Staraj się wykorzystać zdefiniowane wcześniej pojęcia | 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ą | ||
Wersja z 15:49, 30 wrz 2006
Praca domowa
- Zdefiniuj sygnatury półgrupy i grupy.
- Zdefiniuj półgrupę składania funkcji.
- Rozszerz ją o -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ą
