Kalábovi

zadani7.pdf - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Mon, 17 Aug 2026 17:03:25 +0000

Prolog - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Mon, 17 Aug 2026 16:45:03 +0000

Prolog Principy Programy jsou ze 2 častí: * Vlastní program – Hornovy klauzule, které tvoří hypotetický základ pro důkaz. * Dotazy – cíle, predikáty, které chceme z dané hypotézy ověřit, zda platí nebo ne Hornovy klauzule sa vyskytují ve 2 variantách:

Množství informace a entropie, zdroj diskrétních zpráv, kódování, Huffmanův kód, ...

anonymous@undisclosed.example.com (Anonymous) — Mon, 17 Aug 2026 15:09:40 +0000

Náhodný jev - představuje událost, která za určitých podmínek buď nastane nebo nenastane NASRAT KUA JE TO MRDACKA SEM PISAT!

Hardware/Software Codesign - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Mon, 17 Aug 2026 14:19:32 +0000

* Vestavěný systém pro filtraci a kompresi obrazu [20/25] * Tahák

Vlastnosti formálních jazyků - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Mon, 17 Aug 2026 09:18:07 +0000

Uzavřenost jazyků vůči operacím * Substituce -- každý symbol věty nahradíme za některou větu substitučního jazyka pro daný symbol (substituční jazyk je stejné třídy jako jazyk) * Morfismus -- speciální případ substituce, kdy substituční jazyk má vždy jen jednu větu (symbol vždy nahrazujeme za jednu a tu samou větu) * Inverzní morfismus -- je operace opačná k morfismu - tj. každá věta jazyka je nahrazena za symbol tak aby náhrada byla inverzní k nějakému morfismu…

Jak se dostat na IRC kanál #fit - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 16 Aug 2026 16:57:27 +0000

Potřebujete něco rychle vyřešit, a různá fóra vám nestačí? IRC je ideální řešení. Historie IRC Co já bych sem psal? Přečtěte si to ne Wikipedii ;-). HOWTO * Sežeňte si nějakého klienta. Existuje jich spousta. Tento návod je psán pro multiplatformní XChat, pro simulátor operačního systému (Windows) je známý mIRC, zkušení linuxáci mohou sáhnout po terminálové irssi. * Nainstalujte tedy Vámi zvoleného klienta a spusťte jej. * Najděte v něm něco, jako Seznam sítí (v XChatu Ctrl + S) * Tady v…

Úkol 4 - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 16 Aug 2026 16:30:44 +0000

Bc. Jan Kaláb 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 ∈ ℕ.

protokol3.pdf - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 16 Aug 2026 16:13:13 +0000

zadani1utf.pdf - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 16 Aug 2026 15:13:54 +0000

Konečné automaty - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 16 Aug 2026 14:02:58 +0000

Úkol z TINu 2010, Úkol z TINu 2011 Definice (nedeterministického) KA (NKA) M = (Q, Σ, δ, q₀, F) * Q -- konečná množina stavů * Σ -- konečná vstupní abeceda * δ -- funkce přechodu (zobrazení Q × Σ -> 2Q) * q₀ -- počáteční stav (q₀ ∈ Q) * F -- množina koncových stavů (F ⊆ Q)

Turingovy stroje - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sat, 15 Aug 2026 14:10:54 +0000

Turing machine M = (Q, Σ, Γ, δ, q₀, qF) * Q -- konečná množina stavů * Σ -- konečná vstupní abeceda, Δ ∉ Σ * Γ -- konečná pásková abeceda, Σ ⊂ Γ, Δ ∈ Γ * δ -- parciální přechodová funkce, δ: (Q \ {qF}) × Γ → Q × (Γ ∪ {L, R}), kde L, R ∉ Γ * q₀ -- počáteční stav, q₀ ∈ Q * qF -- koncový stav, qF ∈ Q

Státní závěrečná zkouška - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sat, 15 Aug 2026 11:30:57 +0000

* Počítačová grafika a multimédia * Inteligentní systémy * Počítačové sítě a komunikace

Obyčejné grafy - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sat, 15 Aug 2026 08:38:05 +0000

Graph (mathematics) Graf G = (U, H), kde: * U je konečná množina uzlů (vrcholů) * H je konečná množina hran, H ⊆ {{u, v} | u, v ∈ U ∧ u ≠ v} Ohodnocený graf má u hran přiřazenou jejich váhu. Úplný graf je, když je každý uzel spojený s každým. |H| = n(n − 1) / 2.

Tipy & triky s Linuxem - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Tue, 11 Aug 2026 16:10:59 +0000

Jak stáhnout více souborů v řadě zároveň seq -f 'http://www.domena.cz/soubor%02g.txt' 1 10 | wget -c -i - A jak to pak bzipovavat tar cvjf soubor.tar.bz2 *.txt * xvjf rozbalí * cvzf gzip Johančiny rady

Regulární množiny, regulární výrazy a rovnice nad regulárními výrazy - odstraněno - ...

anonymous@undisclosed.example.com (Anonymous) — Tue, 11 Aug 2026 10:08:15 +0000

Regulární množiny Regulární množinu nad abecedou Σ definujeme takto: * Prázdná množina ∅ je regulární množina. * Množina obsahující pouze prázdný řetezec {ε} je regulární množina. * Množina {a} po všechna a ∈ Σ je regulární množina. * Jsou-li P a Q regulární množiny pak také jejich sjednocení (P ∪ Q), konkatenace (P . Q) a iterace (P*) jsou regulární množiny. * Regulárními množinami jsou pouze množiny, které lze získat aplikací předchozího…

Státní závěrečná zkouška - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Tue, 11 Aug 2026 04:19:42 +0000

* Počítačová grafika a multimédia * Inteligentní systémy

Služby aplikační vrstvy - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Tue, 11 Aug 2026 01:15:27 +0000

E-mail e-mail E-mail je způsob jak posílat prakticky libovolné zprávy v prostředí internetu. Samotná zpráva je posílána jako čistý text definovaný hromadou RFC a je rozdělena na dvě části: * hlavičku (obálka) * tělo (obsah obálky)

Grafické a multimediální procesory - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Mon, 10 Aug 2026 23:25:53 +0000

Zdůvodněte typy a použití kvantování u standardů IVAC (Image, Video and Audio Coding) Číslicové zpracování signálu IVA vyžaduje vzorkovat analogový signál a kvantovat jej do konečného počtu úrovní. Predpokládáme přitom, že vzorkovací frekvence je vyšší než Nyqistova frekvence, takže ve frekvenční doméně pak nedochází k aliasingu. Návrh kvantizéru (vzorkovače) znamená stanovit vstupní rozhodovací úrovně, výstupní reprezentační úrovně a jejich počet. Hodnotí se úroven zkreslení. Návrh kvantizéru …

Formální jazyky a překladače - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 09 Aug 2026 16:11:41 +0000

* Esej * Implementace interpretu imperativního jazyka IFJ07 ---------- * Tahák IFJ

Vícevrstvé dopředné neuronové sítě - odstraněno - upraveno mimo DokuWiki (Neznámé datum)

anonymous@undisclosed.example.com (Anonymous) — Sun, 09 Aug 2026 15:31:26 +0000

(učení – princip algoritmu zpětného šíření chyby, odezva, možné aplikace) ---------- Základy viz Základní termíny neuronových sítí Topologie Vícevrstvé neuronové sítě jsou složené z několika vrstev neuronů, které jsou mezi sebou různě propojené. Obvykle jde o: