http://statnice.dqd.cz/ 2026-04-30T06:49:37+0200 http://statnice.dqd.cz/ http://statnice.dqd.cz/lib/tpl/dokubook/images/favicon.ico text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap1?rev=1586703419 AP1, IN1 Množiny a relace Zadání (zobrazení, funkce, rozklady a ekvivalence) Vypracování Množiny ale mohou být i prvky jiných množin. Množiny mohou pochopitelně mít i nekonečně mnoho prvků. Příklady Russelův paradox text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap2?rev=1586703419 AP2, IN2 Elementární kombinatorika (variace, kombinace a permutace) Vypracovanie Variácie Nech S je konečná množina. Variácie definujeme ako usporiadané (t.j záleží na poradí prvkov) výbery prvkov množiny S. Rozlišujeme ich podľa toho, či sa prvky z text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap3?rev=1586703419 AP3, IN3 Uspořádání (relace uspořádání, uspořádané množiny a svazy, číselné obory) Vypracovanie Relace usporiadania Usporiadanie a predusporiadanieRelace je usporiadanie práve vtedy, keď R je reflexívna, antisymetrická a tranzitívna. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap4?rev=1586703419 AP4, IN4 Výroková logika Zadání IN(syntax, sémantika, odvozovací systém výrokové logiky, důkazy ve výrokové logice, pravdivost a dokazatelnost logických formulí) AP(syntax, sémantika, odvozovací systém výrokové logiky, důkazy ve výrokové logice, pravdivost a dokazatelnost logických formulí, rezoluce) text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap5?rev=1586703419 AP5, IN5 Důkazy programů Zadání (dokazování vlastností programů, induktivní metody, invarianty cyklů) Vypracování Označení (Tato část je napsána podle slajdů k předmětu Návrh algoritmů 1.) Označení * In Množina vstupních dat. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap6?rev=1586703419 AP6, IN6 Rekurze (rekurzivní definice funkcí, funkce vyššího řádu, částečná aplikace, curryifikace, definice funkcí rekurzivně a pomocí kombinátorů, definice vyšších funkcí bez použití formálních parametrů) Definice funkcí text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap7?rev=1586703419 AP7, IN7 Vyhodnocování výrazů (pořadí vyhodnocování, striktní a normální redukce, líná redukce, efektivita, nekonečné datové struktury, definice funkcí nad nekonečnými strukturami) Pořadí vyhodnocování Směr Priorita text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap8?rev=1586703419 AP8, IN8 Regulární jazyky Zadání regulární jazyky, způsoby jejich reprezentace, vlastnosti regulárních jazyků, vztah mezi konečnými automaty a regulárními gramatikami Základní pojmy Abeceda je libovolná konečná množina znaků text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap9?rev=1586703419 viz skripta Automaty a formální jazyky I, str. 11 text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap10?rev=1586703419 AP10, IN10 Bezkontextové jazyky Zadání (definice, vlastnosti, způsoby jejich reprezentace, konstrukce bezkontextové gramatiky a zásobníkového automatu, normální formy bezkontextových gramatik, použití lematu o vkládání pro bezkontextové jazyky, uzávěrové vlastnost text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap11?rev=1586703419 AP11, IN11 Zásobníkové automaty, Syntaktická analýza Zadání (definice, převod bezkontextové gramatiky na zásobníkový automat) (syntaktická analýza shora dolů a zdola nahoru, průběh analýzy daného slova) Vypracování Intuice zásobníkového automatu text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap12?rev=1586703419 AP12 Pravděpodobnost a statistika (klasická a podmíněná pravděpodobnost, distribuční funkce a rozdělení náhodných veličin, výpočet střední hodnoty, rozptylu a kovariance) Pravděpodobnost náhodného jevu je číslo, které je mírou očekávatelnosti výskytu jevu. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap13?rev=1586703419 AP13 Prolog Zadání (SLD-rezoluce, SLD-stromy, výpočetní mechanismus Prologu, základy programování v Prologu) Vypracování Rezoluce Rezoluce –- dokazuje se nesplnitelnost formulí, jsou v KNF, v kořenu je □ a nebo dokazovaná formule C, v listech jsou jednotlivé klauzule S, ve vnitřních listech resolventy text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap14?rev=1586703419 AP14 Predikátová logika prvního řádu Zadání (syntax, sémantika, prenexace, skolemizace, unifikace, rezoluce) Vypracování Predikátová logika * plně přejímá výsledky výrokové logiky * zabývá se navíc strukturou jednotlivých jednoduchých výroků – na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice platné nejsou text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap15?rev=1586703419 AP15, IN15 Datové struktury a jejich implementace Zadání (seznam, zásobník, fronta, binární strom, obecný strom, vyhledávací stromy a jejich modifikace. Implementace binárních a vyhledávacích stromů a operací nad nimi) Vypracování text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap16?rev=1586703419 AP16, IN16 Třídění Zadání (základní algoritmy, algoritmy řazení haldou, slučováním, rozdělováním) Pre IN otázka pokračuje Grafovými algoritmami. Algoritmy vnitřního třídění Vnitřní třídění je takové třídění, kdy předem známe tříděné prvky a máme k dispozici dostatek volné paměti, abychom je uvnitř této paměti mohli setřídit. Opakem je pak třídění vnější, kdy jednotlivé prvky předem neznáme a musíme je ze vstupu postupně načítat v pořadí, v jakém přicházejí. Toto třídění se provádí typicky v… text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:ap17?rev=1586703419 AP17, IN16 Grafové algoritmy Zadání IN (procházení grafu do hloubky a do šířky, složitost procházení grafu, komponenty souvislosti, hledání nejkratších cest, toky v sítích, kostra grafu) AP (procházení grafu do hloubky a do šířky, složitost procházení grafu) text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in12?rev=1586703419 IN12 Turingovy stroje a jazyky typu 0 (definice, vztah ke gramatikám Chomského hierarchie, rekurzivní a rekurzivně spočetné jazyky, uzávěrové vlastnosti) Vypracovanie Definícia Turingov strojTuringov stroj (TM) je 9-tica kde: * je konečná množina text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in13?rev=1586703419 IN13 Vyčíslitelnost Zadání (rekurzivní a rekurzivně spočetné množiny. První Riceova věta. Redukce a její vlastnosti. Uzávěrové vlastnosti rekurzívních a rekurzivně spočetných množin. Příklady rekurzivních a rekurzivně spočetných množin.) text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in14?rev=1586703419 IN14 Složitost Zadání (časová a prostorová složitost, hierarchie tříd složitosti a vztahy mezi nimi. NP-těžké a NP-úplné úlohy. Polynomiální redukce. Příklady NP-těžkých a NP-úplných úloh. Metody důkazu NP-těžkosti.) text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in16?rev=1586703419 IN16 Třídění a Grafové algoritmy Zadání (základní algoritmy, algoritmy řazení haldou, slučováním, rozdělováním) (procházení grafu do hloubky a do šířky, složitost procházení grafu, komponenty souvislosti, hledání nejkratších cest, toky v sítích, kostra grafu) text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in17?rev=1586703419 IN17 Algoritmy pro práci s řetězci (Vyhledávání vzorků v textu. Naivní vyhledávání. Algoritmus Karpův-Rabinův. Algoritmus založený na konečných automatech. Složitost vyhledávání.) Vypracovanie Vyhľadávanie vzorky v texte text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in18?rev=1586703419 IN18 Metody analýzy složitosti algoritmů Zadání (složitost v nejlepším, nejhorším, průměrném případu, očekávaná složitost) Vypracování Úvod Složitost algoritmu vyjadřuje náročnost algoritmu na různé zdroje v průběhu výpočtu. Tyto zdroje potom určují tzv. text/html 2020-04-12T16:56:59+0200 Anonymous (anonymous@undisclosed.example.com) http://statnice.dqd.cz/home:inf:in19?rev=1586703419 IN19 Metody konstrukce efektivních algoritmů Zadanie (Rozděl a panuj. Dynamické programování. Hladové strategie. Backtracking. Meze použitelnosti i jednotlivých technik. Příklady algoritmů postavených na jednotlivých technikách.)