Programowanie funkcyjne/Moduły/Ćwiczenia: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
|||
| Linia 10: | Linia 10: | ||
*Ciało. | *Ciało. | ||
*Ciało liczb rzeczywistych. | *Ciało liczb rzeczywistych. | ||
*Relacja binarna na elementach tego samego zbioru (np. | *Relacja binarna na elementach tego samego zbioru (np. relacja abstrakcji, porządek). | ||
*Porządek z operacjami kresu górnego i dolnego. | *Porządek z operacjami kresu górnego i dolnego. | ||
*Sortowanie elementów, na których określony jest porządek. | *Sortowanie elementów, na których określony jest porządek. | ||
Wersja z 10:00, 21 lip 2006
Ćwiczenia
Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej pojęciom. Staraj się wykorzystać zdefiniowane wcześniej pojęcia.
- Półgrupa.
- Półgrupa składania funkcji.
- Grupa.
- 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.
- Sortowanie elementów, na których określony jest porządek.
- Kolejka priorytetowa elementów, na których określony jest porządek.
- Kolejka priorytetowa liczb całkowitych.
- ...
