Programowanie funkcyjne/Moduły/Ćwiczenia: Różnice pomiędzy wersjami

Wersja z 18:23, 20 wrz 2006

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

@@ Linia 1: / Linia 1: @@
-==Ćwiczenia==
+== Praca domowa ==
-Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej
+* Zdefiniuj sygnatury półgrupy i grupy.
-pojęciom. Staraj się wykorzystać zdefiniowane wcześniej pojęcia.
+* Zdefiniuj półgrupę składania funkcji.
-*Półgrupa.
+* Rozszerz ją o <math>n</math>-krotne złożenie funkcji ze sobą.
-*Półgrupa składania funkcji.
-*Grupa.
+== Ć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.
@@ Linia 12: / Linia 14: @@
 *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.
+*Rozszerzenie relacji porządku liniowego o sortowanie.
-*Kolejka priorytetowa elementów, na których określony jest porządek.
+*Rozszerzenie relacji porządku liniowego o kolejkę priorytetową.
-*Kolejka priorytetowa liczb całkowitych.
-*...