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: @@
 == Praca domowa ==
-* Zdefiniuj sygnatury półgrupy i grupy.
+{{cwiczenie|[Sygnatury]||
-* Zdefiniuj półgrupę składania funkcji.
+Zdefiniuj sygnatury półgrupy i grupy.
-* Rozszerz ją o <math>n</math>-krotne złożenie funkcji ze sobą.
+}}
+{{cwiczenie|[Składanie funkcji]||
+Zdefiniuj półgrupę składania funkcji.
+}}
+{{cwiczenie|[Iterowanie funkcji]||
+Rozszerz ją o <math>n</math>-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.
+Staraj się wykorzystać zdefiniowane wcześniej pojęcia:
-*Pierścień.
+*pierścień
-*Pierścień liczb całkowitych.
+*pierścień liczb całkowitych
-*Pierścień liczb rzeczywistych.
+*pierścień liczb rzeczywistych
-*Ciało.
+*ciało
-*Ciało liczb rzeczywistych.
+*ciało liczb rzeczywistych
-*Relacja binarna na elementach tego samego zbioru (np. relacja abstrakcji, porządek).
+*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
-*Rozszerzenie relacji porządku liniowego o sortowanie.
+*rozszerzenie relacji porządku liniowego o sortowanie
-*Rozszerzenie relacji porządku liniowego o kolejkę priorytetową.
+*rozszerzenie relacji porządku liniowego o kolejkę priorytetową