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, 08.05:33] – [Příklad 2] zadani 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 =====
-**Mějme danou primitivně rekurzivní funkci //crypt//: ℕ → ℕ, která pro daný vstup (zakódovaný jako přirozené číslo) vrátí jeho zašifrovanou podobu (opět zakódovanou jako přirozené číslo).**
-**Navrhněte parciálně rekurzivní funkci //decrypt//: ℕ → ℕ takovou, že ∀//n// ∈ ℕ. //decrypt// ∘ //crypt//(//n//) = //n//. Můžete použít zjednodušenou formu zápisu funkcí.**
-**Pozn.: O vlastním fungování funkce //crypt// nemáte k dispozici žádné další informace. V případě, že existují //x//, //y// ∈ ℕ takové, že //x// ≠ //y// ∧ //crypt//(//x//) = //crypt//(//y//), pak výsledkem //decrypt// ∘ //crypt//(//x//) může být //x//, nebo //y//.**
-FIXME
-===== Příklad 3 =====
-FIXME
-===== Příklad 4 =====
-FIXME

Kalábovi

Uživatelské nástroje

Nástroje pro tento web

Rozdíly

Nástroje pro stránku