Rozdíly

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

--- msz:msk [29. 05. 2012, 15.07:37] – hrnco
+++ msz:msk [21. 08. 2026, 10.41:30] (aktuální) – odstraněno - upraveno mimo DokuWiki (Neznámé datum) 127.0.0.1
@@ Řádek 1: / Řádek 1: @@
-====== Počítačové siete a komunikácia ======
-  - [[logika_jazyk]] (termy, formule, realizace jazyka, pravdivost formulí).
-  - [[logika_system]] (axiomy a odvozovací pravidla, dokazatelnost, model a důsledek teorie, věty o úplnosti a kompaktnosti, prenexní tvar formulí).
-  - [[algebra_struktury]] (grupy, okruhy, obory integrity a tělesa, svazy a Booleovy algebry, univerzální algebry).
-  - [[algebra_metody]] (podalgebry, homomorfismy, přímé součiny, kongruence a faktorové algebry, normální podgrupy a ideály okruhů).
-  - [[algebra_integrita]] (okruhy polynomů, pravidla dělitelnosti, Gaussovy a Eukleidovy okruhy).
-  - [[algebra_pole]] (minimální pole, rozšíření pole, konečná pole a jejich konstrukce).
-  - [[algebra_metriky]] (příklady, konvergence posloupností, spojitá a izometrická zobrazení, úplnost, Banachova věta o pevném bodu).
-  - [[algebra_prostory]] (základní vlastnosti a příklady, normované prostory konečné dimenze, uzavřené ortonormální systémy a Fourierovy řady).
-  - [[grafy_obycejne]] (stupně uzlů, cesty a kružnice, souvislost grafu, stromy, kostry, Kruskalův a Primův algoritmus pro hledání minimální kostry ohodnoceného grafu).
-  - [[grafy_orientovane]] (orientované cesty a kružnice, souvislost a silná souvislost, turnaj, eulerovský graf, Dijkstrův a Floyd-Warshallův algoritmus pro hledání cesty minimální délky).
-  - [[gramatiky]]
-  - [[vlastnosti_jazyku]] (typické vlastnosti a jejich rozhodnutelnost).
-  - [[konecne_automaty]] (jazyky přijímané jazyky KA, varianty KA, minimalizace KA).
-  - [[regularni_vyrazy]].
-  - [[bezkontextove_gramatiky]].
-  - [[zasobnikove_automaty]] (jazyky přijímané ZA, varianty ZA).
-  - [[turingovy_stroje]] (jazyky přijímané TS, varianty TS, lineárně omezené automaty, univerzální TS).
-  - [[Nerozhodnutelnost]](problém zastavení TS,  princip diagonalizace a redukce, Postův korespondenční problém).
-  - [[parcialni_rekurzivni_funkce]].
-  - Časová a paměťová složitost ( třídy složitosti, úplnost, SAT problém).
-  - Množství informace a entropie, zdroj diskrétních zpráv, kódování, Huffmanův kód, diskrétní kanál a Shannonova věta o kódování.
-  - Bezpečnostní kódy (lineární, Hammingovy, cyklické a konvoluční).

Kalábovi

Uživatelské nástroje

Nástroje pro tento web

Rozdíly

Nástroje pro stránku