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

Aktualna wersja na dzień 18:24, 17 gru 2006

Ćwiczenie [Sygnatury]

Zdefiniuj sygnatury półgrupy i grupy.

Ćwiczenie [Składanie funkcji]

Zdefiniuj półgrupę składania funkcji.

Ćwiczenie [Iterowanie funkcji]

Rozszerz ją o $n$ -krotne złożenie funkcji ze sobą.

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
+{{cwiczenie|[Sygnatury]||
-pojęciom. Staraj się wykorzystać zdefiniowane wcześniej pojęcia.
+Zdefiniuj sygnatury półgrupy i grupy.
-*Półgrupa.
+}}
-*Półgrupa składania funkcji.
-*Grupa.
+{{cwiczenie|[Składanie funkcji]||
-*Pierścień.
+Zdefiniuj półgrupę składania funkcji.
-*Pierścień liczb całkowitych.
+}}
-*Pierścień liczb rzeczywistych.
-*Ciało.
+{{cwiczenie|[Iterowanie funkcji]||
-*Ciało liczb rzeczywistych.
+Rozszerz ją o <math>n</math>-krotne złożenie funkcji ze sobą.
-*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.
+== Ćwiczenia ==
-*Kolejka priorytetowa elementów, na których określony jest porządek.
+Zdefiniuj sygnatury/struktury odpowiadające podanym poniżej pojęciom.
-*Kolejka priorytetowa liczb całkowitych.
+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ą