Rozdíly

Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.

--- tin:ukoly:2011:4 [27. 12. 2011, 07.57:10] – nadpisy pitel
+++ tin:ukoly:2011:4 [16. 08. 2026, 16.30:44] (aktuální) – odstraněno - upraveno mimo DokuWiki (Neznámé datum) 127.0.0.1
@@ Řádek 1: / Řádek 1: @@
-====== Úkol 4 ======
-Bc. Jan Kaláb %%<[email protected]>%%
-===== Příklad 1 =====
-**Pomocí počátečních funkcí, a operátorů kombinace, kompozice a primitivní rekurze výjádřete funkci počítající zbytek po celočíselném dělení:**
-**//mod//: ℕ² → ℕ, //mod//(//x//, //y//) = //z// takové, že //x// = //y// * //k// + //z// pro nějaké //k// ∈ ℕ.**
-**Je možné použít funkce //plus//(//x//, //y//) a //mult//(//x//, //y//) definované v přednáškách, kromě nich nepoužívejte žádné další funkce zavedené na přednáškách mimo funkce počáteční. Nepoužívejte zjednodušenou syntaxi zápisu funkcí – dodržte přesně definiční tvar operátorů kombinace, kompozice a primitivníé rekurze.**
-FIXME
-===== Příklad 2 =====
-FIXME
-===== Příklad 3 =====
-FIXME
-===== Příklad 4 =====
-FIXME

Kalábovi